ISBN 3211830553 books & textbook
Design, Specification and Verification of Interactive Systems ’97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4–6, 1997
Harrison, Michael D. Torres, Juan C.
Springer /1997-11-11 Paperback / 328 Pages
isbn-10: 3211830553 / isbn-13: 9783211830550
