TY  - RPRT
TI  - Real(istic) Specifications of Software.
AU  - Pollard, Samuel
AU  - Kellison, Ariel
AU  - Bender, John
AU  - Thornquist, Heidi
AU  - Hulette, Geoffrey
PY  - 2021
UR  - https://www.osti.gov/biblio/2002959
ID  - 2002959
ER  -