Nom : SPÉCIFICATION ET VÉRIFICATION
Name : SPECIFICATION AND VERIFICATION
Etablissement : ENS Cachan
Laboratoire de recherche : Oui