TY  - RPRT
TI  - Formal methods for statistical software 
AU  - Black, Paul E
PY  - 2019
PB  - National Institute of Standards and Technology
CY  - Gaithersburg, MD
SN  - NIST IR 8274
DO  - 10.6028/NIST.IR.8274
ER  -