Catégorie : Publications

Aug 30

(English) Accepted papers for CPP 2012

Jul 26

(English) A web site for « Programming with Higher-Order Logic »

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.