A logic base tool set for real-time Ada software development

Michael Moore. A logic base tool set for real-time Ada software development. In Kent Thackrey, editor, Proceedings of the Eighth Annual Washington Ada Symposium & Summer SIGAda Meeting on Ada - Software: Foundation for Competitveness, WADAS 1991, McLean, Virginia, USA, June 17-21, 1991. pages 102-118, ACM, 1991. [doi]

Authors

Michael Moore

This author has not been identified. Look up 'Michael Moore' in Google