Roberto Sebastiani - Top Italian Scientist in Computer Sciences
SMT
SAT
Formal Verification
Automated Reasoning
Model Checking
| Rank: | 142 |
| H-Index: | 49 |
| Citations: | 11818 |
| Nation: | Italy |
| Area: | computer sciences |
| Macroarea: | Computer Sciences |
| Italian Institution(s): | Università degli Studi di Trento |
| Rank: 142 |
| H-Index: 49 |
| Citations: 11818 |
| Nation: Italy |
| Area: computer sciences |
| Macroarea: Computer Sciences |
| Italian Institution(s): Università degli Studi di Trento |