Title

Mathematics of program construction. 10th international conference, MPC 2010

Title Supplement
Québec City, Canada, June 21-23, 2010; proceedings
Person Involved
Publisher
Publishing Place
Berlin
Publication Date
2010
Series
Lecture Notes in Computer Science; 6120
ISBN
3-642-13320-7
978-3-642-13320-6
Conference