Formal Specification in Collaborative Design of Critical Software Tools - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

David Coppit, Kevin J. Sullivan. Formal Specification in Collaborative Design of Critical Software Tools. In 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE 98), 13-14 November 1998, Washington, D.C, USA, Proceedings. pages 13-20, IEEE Computer Society, 1998. [doi]

This author has not been identified. Look up 'David Coppit' in GoogleThis author has not been identified. It may be one of the following persons:

Kevin J. Sullivan

Look up 'Kevin J. Sullivan' in Google

runs on WebDSL