@misc{indiciae17deb9ff550f,
  title = {DECOVALEX-2023: Task G, SAFENET Final Report},
  author = {Kolditz, Olaf and McDermott, Christopher and Yoon, Jeoung Seok and Liu, Hejuan and Pan, Pengzhi and Nguyen, Son and Kwon, Saeha and Park, Jung-Wook and Park, Chan-Hee and Zhuang, Li and Hadgu, Teklu and Wang, Yifeng and Hu, Mengsu and Sasaki, Tsubasa and Rutqvist, Jonny and Birkholzer, Jens and Mollaali, Mostafa and Wang, Wenqing and Cunha, Gonçalo and Benbow, Steven and Watson, Claire and Bond, Alex and Chittenden, Neil},
  year = {2024},
  doi = {10.2172/2481317},
  url = {https://www.osti.gov/biblio/2481317},
  note = {Source identifier: 2481317}
}