Johannes Kanig
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- France
- MGP identifier
- 182508
Dissertation: Spécification et preuve de programmes d'ordre supérieur [Specification and proof of higher-order programs]
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Jean-Christophe FilliâtreInstitution not recorded
- Christine Paulin-MohringUniversité Paris Diderot - Paris 7 · 1989
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Claire Dross | Université Paris-Sud XI - Orsay | 2014 | 0 |