Denis Merigoux
Original record- Institution
- l'Institut National de Recherche en Informatique et en Automatique (INRIA)
- Year
- 2021
- Country
- France
- MGP identifier
- 322731
Dissertation: Proof-oriented domain-specific languages for high assurance software
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Jonathan ProtzenkoUniversité Paris Diderot - Paris 7 · 2014
- Karthikeyan BhargavanUniversity of Pennsylvania · 2002
Students 0
No students recorded in this snapshot.