Formal Methods to Improve Public Administration Business ProcessesAndrea Polini, Andrea Polzonetti and Barbara ReRAIRO-Theor. Inf. Appl., 46 2 (2012) 203-229DOI: https://doi.org/10.1051/ita/2012002
