1. Home
  2. Computer
  3. Computer Science
  4. Gabbrielli, Maurizio

Computer · Computer Science

Gabbrielli, Maurizio

Listed in the directory · updated 21 Jul 2022

Visit website

Find them on

Share

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.

Tags

B

Where it sits

Computer Computer Science

More in Computer Science

See all →