---

Title	Programming languages and formal verification
Author	Aurélien COET
Director of thesis	Prof. Didier Buchs
Co-director of thesis
Summary of thesis
Status
Administrative delay for the defence
URL
LinkedIn
Facebook
Twitter
Xing