in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 6120, Pages: 271-287 (17)
Conference
10Th International Conference on Mathematics of Program Construction, Date: JUN 21-23, 2010, Location: Quebec City, CANADA, Sponsors: Univ Laval, Univ Montreal, Ctr Rech Math