in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 6120 LNCS, Pages: 1-18
Conference
10Th International Conference on the Mathematics of Program Construction, Mpc 2010, Date: 21 June 2010 through 23 June 2010, Location: Quebec City, QC, Sponsors: Universite Laval;Universite de Montreal, Centre de Recherches Mathematiques
