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