Christine Paulin Mohring
AuthID: R-00H-HVE
1
TITLE: Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
AUTHORS: Philippe Audebaud; Christine Paulin Mohring;
PUBLISHED: 2008, SOURCE: MPC, VOLUME: 5133
AUTHORS: Philippe Audebaud; Christine Paulin Mohring;
PUBLISHED: 2008, SOURCE: MPC, VOLUME: 5133
INDEXED IN: 
DBLP
DBLP2
TITLE: Types for Proofs and Programs, International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
AUTHORS: Jean Christophe Filliâtre; Christine Paulin Mohring; Benjamin Werner;
PUBLISHED: 2006, SOURCE: TYPES, VOLUME: 3839
AUTHORS: Jean Christophe Filliâtre; Christine Paulin Mohring; Benjamin Werner;
PUBLISHED: 2006, SOURCE: TYPES, VOLUME: 3839
INDEXED IN: DBLP
DBLP