@misc{1135001,
  author = {Paul E Black},
  title = {Formal methods for statistical software:},
  year = {2019},
  month = {2019-10-01 04:10:00},
  publisher = {, National Institute of Standards and Technology, Gaithersburg, MD},
  doi = {https://doi.org/10.6028/NIST.IR.8274},
  language = {en},
}