Burak Ekici
Original record- Institution
- Université Grenoble Alpes
- Year
- 2015
- Country
- France
- MGP identifier
- 201615
Dissertation: Certification de programmes avec des effets calculatoires
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 2
- Jean-Guillaume DumasInstitut National Polytechnique de Grenoble (INPG) · 2000
- Dominique DuvalUniversité Joseph Fourier Grenoble I · 1987
Students 0
No students recorded in this snapshot.