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


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