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]
@inproceedings{CoppitS98,
title = {Formal Specification in Collaborative Design of Critical Software Tools},
author = {David Coppit and Kevin J. Sullivan},
year = {1998},
url = {http://www.computer.org/proceedings/hase/9221/92210013abs.htm},
tags = {design},
researchr = {https://researchr.org/publication/CoppitS98},
cites = {0},
citedby = {0},
pages = {13-20},
booktitle = {3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE 98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
publisher = {IEEE Computer Society},
isbn = {0-8186-9221-9},
}