TY  - RPRT
TI  - DECOVALEX-2023, Task F Specification, Revision 8
AU  - LaForce, Tara
AU  - Jayne, Richard
AU  - Leone, Rosemary
AU  - Stein, Emily
AU  - Nguyen, Son
PY  - 2022
DO  - 10.2172/1869373
UR  - https://www.osti.gov/biblio/1869373
ID  - 1869373
ER  -