Demis Ballis
Original record- Institution
- Università degli Studi di Udine
- Year
- 2005
- Country
- Italy
- MGP identifier
- 123790
Dissertation: Rule-Based Software Verification and Correction
Mathematics Subject Classification: 68—Computer science
Advisors 2
- María AlpuenteUniversitat Politècnica de València · 1991
- Moreno FalaschiInstitution not recorded
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Francisco Frechina | Universitat de València | 2014 | 0 |
| Daniel Omar Romero | Universitat Politècnica de València | 2011 | 0 |
| Julia Sapiña | Universitat Politècnica de València | 2017 | 0 |