TY  - RPRT
TI  - DECOVALEX-2023 Task F Specification (Rev. 9)
AU  - LaForce, Tara
AU  - Jayne, Richard
AU  - Leone, Rosemary
AU  - Mariner, Paul
AU  - Stein, Emily
AU  - Nguyen, Son
AU  - Frank, Tanja
PY  - 2022
DO  - 10.2172/2004895
UR  - https://www.osti.gov/biblio/2004895
ID  - 2004895
ER  -