Catégorie : Publications
Jul 03
(English) Papers accepted to CSL 2012
Désolé, cet article est seulement disponible en Anglais Américain.
Mar 30
(English) CFP: CPP 2012 – 2nd International Conference on Certified Programs and Proofs
Désolé, cet article est seulement disponible en Anglais Américain.
Feb 08
(English) Book to be published by Cambridge University Press
Désolé, cet article est seulement disponible en Anglais Américain.
Feb 08
(English) Paper accepted to QAPL 2012
Désolé, cet article est seulement disponible en Anglais Américain.
- 1
- 2