Méthodes formelles pour l'informatique quantique

Membres :

  • Pablo Arrighi
  • Renaud Vilmart
  • Benoît Valiron