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]
@inproceedings{KnightHT01,
title = {Tool Support for Production Use of Formal Techniques},
author = {John C. Knight and Kimberly S. Hanks and Sean R. Travis},
year = {2001},
url = {http://csdl.computer.org/comp/proceedings/issre/2001/1306/00/13060242abs.htm},
tags = {C++},
researchr = {https://researchr.org/publication/KnightHT01},
cites = {0},
citedby = {0},
pages = {242-253},
booktitle = {12th International Symposium on Software Reliability Engineering (ISSRE 2001), 27-30 November 2001, Hong Kong, China},
publisher = {IEEE Computer Society},
isbn = {0-7695-1306-9},
}