Alessandro Cimatti - Top Italian Scientist in Computer Sciences
Formal Verification Model Checking SMT Planning FDIR


Rank: 64
H-Index: 64
Citations: 23925
Nation: Italy
Area: computer sciences
Macroarea: Computer Sciences
Italian Institution(s): Fondazione Bruno Kessler
Rank: 64
H-Index: 64
Citations: 23925
Nation: Italy
Area: computer sciences
Macroarea: Computer Sciences
Italian Institution(s): Fondazione Bruno Kessler