Skip to main content
≡
FAQ
Home
News
Courses
Organizations
About FUN
You are here:
Home
David Baelde
David Baelde
Maître de conférences à l'ENS Cachan et chercheur en preuve formelle et sécurité des protocoles au Laboratoire Spécification et Vérification.