Jean-Luc Richier
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- France
- MGP identifier
- 297339
Dissertation: Preuve de programmes dans un langage sans assignation - LUCID
Mathematics Subject Classification: 68—Computer science
Advisors 0
No advisor recorded in this snapshot.
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Lydie du Bousquet | Université Joseph Fourier Grenoble I | 1999 | 1 |
| Nicolas Zuanon | Université Joseph Fourier Grenoble I | 2000 | 0 |