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.
Conference: DSVIS1997
@proceedings{dsvis:1997, title = {Design, Specification and Verification of Interactive Systems 97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain}, year = {1997}, tags = {design}, researchr = {https://researchr.org/publication/dsvis%3A1997}, cites = {0}, citedby = {0}, booktitle = {Design, Specification and Verification of Interactive Systems 97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain}, conference = {DSVIS}, editor = {Michael D. Harrison and Juan Carlos Torres}, publisher = {Springer}, isbn = {3-211-83055-3}, }