Giovanna Di Marzo Serugendo
Original record- Institution
- École Polytechnique Fédérale de Lausanne (EPFL)
- Year
- 1999
- Country
- Switzerland
- MGP identifier
- 332727
Dissertation: Stepwise refinement of formal specifications based on logical formulae: from CO-OPN/2 specifications to Java programs
Advisor 1
- Alfred StrohmeierInstitution not recorded
Students 15
| Name | Institution | Year | Students |
|---|---|---|---|
| Fayez Alrafeea | Not recorded | — | 0 |
| Houssem Ben Mahfoudh | Not recorded | — | 0 |
| Allan Francisco Berrocal Rojas | Not recorded | — | 0 |
| Flann Chambers | Not recorded | — | 0 |
| Francesco Luca De Angelis | Not recorded | — | 0 |
| Hafiz Budi Firmansyah | Not recorded | — | 0 |
| Eléonore Fournier-Tombs | Not recorded | — | 0 |
| Philippe Glass | Not recorded | — | 0 |
| Messaoud Hammouya | Not recorded | — | 0 |
| Emin Huseynov | Not recorded | — | 0 |
| Mohammad Parhizkar | Not recorded | — | 0 |
| Emmanuel Rousseaux | Not recorded | — | 0 |
| Ozan Sahin | Not recorded | — | 0 |
| Alfredo Alejandro Villalba Castro | Not recorded | — | 0 |
| Assane Wade | Not recorded | — | 0 |