Formal Modeling of Interactive Systems

Doug Goldson. Formal Modeling of Interactive Systems. In 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 30-31 October 2000, Hong Kong, China, Proceedings. pages 207-215, IEEE Computer Society, 2000. [doi]

Abstract

Abstract is missing.