Formal Methods to Improve Public Administration Business Processes

Andrea Polini, Andrea Polzonetti, Barbara Re. Formal Methods to Improve Public Administration Business Processes. ITA, 46(2):203-229, 2012. [doi]

Abstract

Abstract is missing.