APA Citation

Bolduc, C., Desharnais, J., & Ktari, B. (2010). Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings (1st ed. 2010.). Berlin, Heidelberg: Springer Berlin Heidelberg.

Chicago Style Citation

Bolduc, Claude, Jules Desharnais, and Bechir Ktari. Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings. 1st ed. 2010. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.

MLA Citation

Bolduc, Claude, Jules Desharnais, and Bechir Ktari. Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings. 1st ed. 2010. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.