TY  - RPRT
TI  - DECOVALEX-2023: Task G, SAFENET Final Report
AU  - Kolditz, Olaf
AU  - McDermott, Christopher
AU  - Yoon, Jeoung Seok
AU  - Liu, Hejuan
AU  - Pan, Pengzhi
AU  - Nguyen, Son
AU  - Kwon, Saeha
AU  - Park, Jung-Wook
AU  - Park, Chan-Hee
AU  - Zhuang, Li
AU  - Hadgu, Teklu
AU  - Wang, Yifeng
AU  - Hu, Mengsu
AU  - Sasaki, Tsubasa
AU  - Rutqvist, Jonny
AU  - Birkholzer, Jens
AU  - Mollaali, Mostafa
AU  - Wang, Wenqing
AU  - Cunha, Gonçalo
AU  - Benbow, Steven
AU  - Watson, Claire
AU  - Bond, Alex
AU  - Chittenden, Neil
PY  - 2024
DO  - 10.2172/2481317
UR  - https://www.osti.gov/biblio/2481317
ID  - 2481317
ER  -