@misc{1148991, author = {Dolores R Wallace and Michael Brown and Archibald McKinlay VI}, title = {Proceedings of the forum on standards for high integrity software (DOD, government, industry); Gaithersburg, MD::June 28, 1991}, year = {1991}, month = {1991-01-01 05:01:00}, publisher = {, National Institute of Standards and Technology, Gaithersburg, MD}, doi = {https://doi.org/10.6028/NIST.IR.4656}, language = {en}, }