Proceedings

• Michael D. Harrison, Juan Carlos Torres, editors, Design, Specification and Verification of Interactive Systems 97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain. Springer, 1997.