Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings /

Corporate Author: SpringerLink (Online service)
Other Authors: Bolduc, Claude., Desharnais, Jules., Ktari, Béchir.
Format: Electronic
Language: English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Series: Lecture Notes in Computer Science, 6120
Subjects:
Online Access: http://dx.doi.org/10.1007/978-3-642-13321-3
Tags: Add Tag
No Tags, Be the first to tag this record!