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]
No references recorded for this publication.
No citations of this publication recorded.