TY  - RPRT
TI  - DECOVALEX-2023: Task C Final Report
AU  - Graupner, Bastian
AU  - Thatcher, Kate
AU  - Newson, Rebecca
AU  - Bjorge, Merle
AU  - Rühaak, Wolfram
AU  - Shao, Hua
AU  - Thiedau, Jan
AU  - Pitz, Michael
AU  - Pan, Peng-Zhi
AU  - Hou, Wenbo
AU  - Friedenberg, Larissa
AU  - Kim, Taehyun
AU  - Lee, Changsoo
AU  - Park, Chan-Hee
AU  - Rutqvist, Jonny
AU  - Guo, Ruiping
AU  - Hadgu, Teklu
AU  - Matteo, Edward
AU  - Dewers, Thomas
AU  - Chaudhry, Aqeel Afzal
AU  - Naumov, Dmitri
AU  - Kaiser, Sonja
AU  - Nagel, Thomas
AU  - Buchwald, Jörg
AU  - Wang, Wenqing
PY  - 2024
DO  - 10.2172/2481303
UR  - https://www.osti.gov/biblio/2481303
ID  - 2481303
ER  -