Benoit Valiron

Laboratoire

Laboratoire Méthodes Formelles

Mots cles

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

Site WEB

Publications (55)

Communication dans un congrès 30/07/2012

Pablo Arrighi , Alejandro Díaz-Caro , Benoît Valiron , Benoit Valiron

Communication dans un congrès 14/07/2010

Alejandro Díaz-Caro , Simon Perdrix , Christine Tasson , Benoît Valiron , Benoit Valiron

Thèse 25/09/2008

Benoît Valiron , Benoit Valiron

Communication dans un congrès 01/01/2008

Peter Selinger , Benoît Valiron , Benoit Valiron

Communication dans un congrès 01/01/2005

Peter Selinger , Benoît Valiron , Benoit Valiron