Marco Comini
Original record- Institution
- Università di Pisa
- Year
- 1998
- Country
- Italy
- MGP identifier
- 141674
Dissertation: An Abstract Interpretation Framework for Semantics and Diagnosis of Logic Programs
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Giorgio LeviInstitution not recorded
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Giovanni Bacci | Università degli Studi di Udine | 2012 | 0 |
| Andrea Baruzzo | Università degli Studi di Udine | 2008 | 0 |
| Laura Titolo | Università degli Studi di Udine | 2014 | 0 |