Passer au contenu principal
≡
FAQ
Accueil
Actualités
Cours
Etablissements
À propos
Vous êtes ici:
Accueil
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.