@misc{1196531,
  author = {Dolores R Wallace and D Richard Kuhn and John C Cherniavsky},
  title = {Proceedings of the workshop on high integrity software; Gaithersburg, MD; Jan. 22-23, 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.SP.500-190},
  language = {en},
}