Claude Bolduc
AuthID: R-00H-6X6
1
TÃTULO: Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings
AUTORES: Claude Bolduc; Jules Desharnais; Béchir Ktari;
PUBLICAÇÃO: 2010, FONTE: MPC, VOLUME: 6120
AUTORES: Claude Bolduc; Jules Desharnais; Béchir Ktari;
PUBLICAÇÃO: 2010, FONTE: MPC, VOLUME: 6120
INDEXADO EM: 
DBLP
DBLP