Design, Specification and Verification of Interactive Systems ’95 Proceedings of the Eurographics Workshop in Toulouse, France, June 7–9, 1995 Palanque Philippe Heftet / 1995 / Engelsk
