TY  - GEN
AU  - Paul Black
C2  - NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD
DA  - 2019-10-04
DO  - https://doi.org/10.6028/NIST.IR.8274
LA  - en
PB  - NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD
PY  - 2019
TI  - Formal Methods for Statistical Software
ER  -