TY  - RPRT
TI  - DECOVALEX-2023: Task E Final Report
AU  - Kuhlman, Kristopher L.
AU  - Shao, Hua
AU  - Bartol, Jeroen
AU  - Czaikowski, Oliver
AU  - Jantschik, Kyra
AU  - Bourret, Michelle
AU  - Guiltinan, Eric
AU  - Stauffer, Philip
AU  - Rutqvist, Jonny
AU  - Tounsi, Hafssa
AU  - Norris, Simon
AU  - Benbow, Steven
AU  - Watson, Claire
AU  - Jayne, Richard
PY  - 2024
DO  - 10.2172/2481306
UR  - https://www.osti.gov/biblio/2481306
ID  - 2481306
ER  -