Results
Formal Methods at the Crossroads. From Panacea to Foundational Support
10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers
© 2003
Soft cover - Print (ISBN: 978-3-540-20527-2)
Electronic (ISBN: 978-3-540-40007-3)
View this book on
SpringerLink
Download Product Archive File - 978-3-540-40007-3