Integrated Formal Methods : Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings PDF
Edited by Wolfgang Grieskamp, Thomas Santen, Bill Stoddart
Part of the Lecture Notes in Computer Science series
- Information
Information
-
Download Now
- Format:PDF
- Publisher:Springer Berlin Heidelberg
- Publication Date:23/10/2007
- Category:
- ISBN:9783540409113
Information
-
Download Now
- Format:PDF
- Publisher:Springer Berlin Heidelberg
- Publication Date:23/10/2007
- Category:
- ISBN:9783540409113