dblp.uni-trier.de www.uni-trier.de

9. MPC 2008: Marseille, France

Philippe Audebaud, Christine Paulin-Mohring (Eds.): Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings. Lecture Notes in Computer Science 5133 Springer 2008, ISBN 978-3-540-70593-2 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Mon Nov 2 20:59:55 2009 by Michael Ley (ley@uni-trier.de)