Benoit Valiron Laboratoire Laboratoire Méthodes Formelles Mots cles méthodes formelles, logique et langages de programmation, calcul quantique Accueil Chercheurs Benoit Valiron
