Tool Support for Production Use of Formal Techniques - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

John C. Knight, Kimberly S. Hanks, Sean R. Travis. Tool Support for Production Use of Formal Techniques. In 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 27-30 November 2001, Hong Kong, China. pages 242-253, IEEE Computer Society, 2001. [doi]

This author has not been identified. Look up 'John C. Knight' in GoogleThis author has not been identified. Look up 'Kimberly S. Hanks' in GoogleThis author has not been identified. Look up 'Sean R. Travis' in Google

runs on WebDSL