ISBN 9783211832127 books & textbook
Design, Specification and Verification of Interactive Systems ’98: Proceedings of the Eurographics Workshop in Abingdon, UK, June 3–5, 1998
Markopoulos, Panos Johnson, Peter
Springer /1999-01-15 Paperback / 325 Pages
isbn-10: 3211832122 / isbn-13: 9783211832127