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