TY  - RPRT
TI  - DECOVALEX-2023 Task E Specification (Rev. 0)
AU  - Kuhlman, Kristopher L.
PY  - 2020
DO  - 10.2172/1616375
UR  - https://www.osti.gov/biblio/1616375
ID  - 1616375
ER  -