A Software Demonstrator of Modality Theory

Niels Ole Bernsen, S. Lu. A Software Demonstrator of Modality Theory. In Philippe A. Palanque, RĂ©mi Bastide, editors, Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995. pages 242-261, Springer, 1995.

Abstract

Abstract is missing.