Roberto Sebastiani - Top Italian Scientist in Computer Sciences
SMT SAT Formal Verification Automated Reasoning Model Checking


Rank: 143
H-Index: 49
Citations: 11818
Nation: Italy
Area: computer sciences
Macroarea: Computer Sciences
Italian Institution(s): Università degli Studi di Trento
Rank: 143
H-Index: 49
Citations: 11818
Nation: Italy
Area: computer sciences
Macroarea: Computer Sciences
Italian Institution(s): Università degli Studi di Trento