Benoit Valiron

Benoit.Valiron [at] centralesupelec.fr

Mots clés :

  • méthodes formelles, logique et langages de programmation, calcul quantique

Publications :