| 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 | | | Editor:
| Aichernig, Bernhard K.
Maibaum, Tom | | Series title: | Lecture Notes in Computer Science Ser. | | ISBN: | 978-3-540-40007-3 | | Publication Date: | Mar 2011 | | Publisher: | Springer
| | Book Format: | Ebook | | List Price: | USD $109.00 |
| |