@misc{1196381,
  author = {Dolores R Wallace and Laura M Ippolito},
  title = {A framework for the development and assurance of high integrity software:},
  year = {1994},
  month = {1994-01-01 05:01:00},
  publisher = {, National Institute of Standards and Technology, Gaithersburg, MD},
  doi = {https://doi.org/10.6028/NIST.SP.500-223},
  language = {en},
}