TY  - RPRT
TI  - VADER: A Tool for Criticality Safety Validation
AU  - Hart, Shane W.D.
AU  - Wieselquist, William A.
AU  - Marshall, William J.
AU  - Clarity, Justin B.
PY  - 2020
DO  - 10.13182/t123-33079
UR  - https://www.osti.gov/biblio/1760137
ID  - 1760137
ER  -