Marco Benini
Original record- Institution
- Università degli Studi di Milano
- Year
- 2000
- Country
- Italy
- MGP identifier
- 102047
Dissertation: Verification and Analysis of Programs in a Constructive Environment
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Mario OrnaghiInstitution not recorded
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Roberta Bonacina | Università degli Studi dell'Insubria | 2019 | 0 |
| Federico Gobbo | Università degli Studi dell'Insubria | 2008 | 0 |