Christine Paulin-Mohring

Christine Paulin-Mohring

Books

Co-authored books and collections

Books that list Christine Paulin-Mohring among their authors but not as the lead author: co-written works, collections and compilations.

Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science)Sandrine Blazy

Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science)

Sandrine Blazy · 2013

Interactive Theorem ProvingSandrine Blazy

Interactive Theorem Proving

Sandrine Blazy · 2013

Types for Proofs and ProgramsJean-Christophe Filliatre

Types for Proofs and Programs

Jean-Christophe Filliatre · 2006