in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 5133 LNCS, Pages: 79-91
Conference
9Th International Conference on Mathematics of Program Construction, Mpc 2008, Date: 15 July 2008 through 18 July 2008, Location: Marseille
