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