Philippe Audebaud
AuthID: R-00H-HVD
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
DBLP