Tool Support for Production Use of Formal Techniques

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]

Possibly Related Publications

The following publications are possibly variants of this publication: