Statistics
Publications
1
Citations
154
H-Index
1
Active since
2003
Affiliations
A. Cimatti is an author at Istituto Centrale per la Ricerca Scientifica e Tecnologica Applicata al Mare specializing in formal methods, computer architecture, and computer engineering.
Publications per year
2003–2003
1
1