Marie-Claude Gaudel
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- France
- MGP identifier
- 143621
Dissertation: Generation et Preuve de Compilateurs basees sur une semantique formelle des langages de programmation
Advisor 1
- Claude PairUniversité Henri Poincaré Nancy 1 · 1966
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Pascale Le Gall | Université Paris-Sud XI - Orsay | 1993 | 1 |