Claude Bolduc
AuthID: R-00H-6X6
1
TITLE: Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings
AUTHORS: Claude Bolduc; Jules Desharnais; Béchir Ktari;
PUBLISHED: 2010, SOURCE: MPC, VOLUME: 6120
AUTHORS: Claude Bolduc; Jules Desharnais; Béchir Ktari;
PUBLISHED: 2010, SOURCE: MPC, VOLUME: 6120
INDEXED IN: DBLP