Cover Image
Saved in:

Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings /

Corporate Author: MPC 2002 Dagstuhl Castle)
Other Authors: Boiten, Eerke, 1966-, Mòˆller, Bernhard, 1953-
Format: Conference Proceeding Book
Published: Berlin ; New York : Springer, 2002.
Series:Lecture notes in computer science ; 2386.
Tags: Add Tag
No Tags, Be the first to tag this record!