James S. Willans, Michael D. Harrison. Verifying the Behaviour of Virtual Environment World Objects. In Philippe A. Palanque, Fabio Paternò, editors, Interactive Systems: Design, Specification, and Verification, 7th International Workshop DSV-IS, Limerick, Ireland, June 5-6, 2000, Proceedings. Volume 1946 of Lecture Notes in Computer Science, pages 65-77, Springer, 2000. [doi]
Abstract is missing.