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
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!