About Gabbrielli, Maurizio
Gabbrielli, Maurizio- University of Bologna - Formal methods for program verification and analysis, theory of concurrent constraint programming, program transformations, languages for real-time applications, logic programming.
