Eerke A. Boiten, Bernhard Möller (Eds.):
Mathematics of Program Construction, 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings.
Lecture Notes in Computer Science 2386 Springer 2002, ISBN 3-540-43857-2
Last update Thu May 23 02:50:45 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page