Benoit Valiron
Laboratoire
Laboratoire Méthodes Formelles
Mots cles
méthodes formelles, logique et langages de programmation, calcul quantique
Publications (55)
Article dans une revue
24/04/2023
Article dans une revue
01/03/2023
Article dans une revue
21/02/2023
Communication dans un congrès
01/01/2023
Communication dans un congrès
22/08/2022
Article dans une revue
01/08/2022
Article dans une revue
21/06/2022
Article dans une revue
01/01/2022
Communication dans un congrès
29/12/2021
Communication dans un congrès
12/10/2021