Christine Paulin Mohring
AuthID: R-00H-HVE
1
TÃTULO: Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
AUTORES: Philippe Audebaud; Christine Paulin Mohring;
PUBLICAÇÃO: 2008, FONTE: MPC, VOLUME: 5133
AUTORES: Philippe Audebaud; Christine Paulin Mohring;
PUBLICAÇÃO: 2008, FONTE: MPC, VOLUME: 5133
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: Types for Proofs and Programs, International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
AUTORES: Jean Christophe Filliâtre; Christine Paulin Mohring; Benjamin Werner;
PUBLICAÇÃO: 2006, FONTE: TYPES, VOLUME: 3839
AUTORES: Jean Christophe Filliâtre; Christine Paulin Mohring; Benjamin Werner;
PUBLICAÇÃO: 2006, FONTE: TYPES, VOLUME: 3839
INDEXADO EM: DBLP
DBLP