ISBN 9783662185421 books & textbook
Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ... Portugal, March 18-20, 2002, Revised Papers
Aichernig, Bernhard K. Maibaum, Tom
Springer /2014-03-12 Paperback / 476 Pages
isbn-10: 3662185423 / isbn-13: 9783662185421
