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


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