TY  - RPRT
TI  - DECOVALEX-2023: Task B Final Report
AU  - Tamayo-Mas, E.
AU  - Harrington, J. F.
AU  - Radeisen, E.
AU  - Kim, J. T.
AU  - Rutqvist, J.
AU  - Wang, Y.
AU  - Damians, I. P.
AU  - Cuss, R. J.
PY  - 2024
DO  - 10.2172/2481301
UR  - https://www.osti.gov/biblio/2481301
ID  - 2481301
ER  -