Benoit Valiron
Laboratoire
Laboratoire Méthodes Formelles
Mots cles
méthodes formelles, logique et langages de programmation, calcul quantique
Publications (32)
Article dans une revue
09/02/2024
Communication dans un congrès
27/07/2016