Results

Book cover

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 Download product archive files for 978-3-540-40007-3