Marino Miculan
Original record- Institution
- Università di Pisa
- Year
- 1997
- Country
- Italy
- MGP identifier
- 197053
Dissertation: Encoding logical theories of programs
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Furio HonsellScuola Normale Superiore di Pisa · 1983
Students 4
| Name | Institution | Year | Students |
|---|---|---|---|
| Giorgio Bacci | Università degli Studi di Udine | 2013 | 0 |
| Davide Castelnovo | Università degli Studi di Udine | 2023 | 0 |
| Davide Grohmann | Università degli Studi di Udine | 2010 | 0 |
| Marco Peressotti | Università degli Studi di Udine | 2017 | 1 |