Last name: 
Cimatti
First name: 
Giovanni
Institution relationship: 
University of Pisa, Department of Mathematics