@misc{indiciae4657d478be82,
  title = {DECOVALEX-2023: Task C Final Report},
  author = {Graupner, Bastian and Thatcher, Kate and Newson, Rebecca and Bjorge, Merle and Rühaak, Wolfram and Shao, Hua and Thiedau, Jan and Pitz, Michael and Pan, Peng-Zhi and Hou, Wenbo and Friedenberg, Larissa and Kim, Taehyun and Lee, Changsoo and Park, Chan-Hee and Rutqvist, Jonny and Guo, Ruiping and Hadgu, Teklu and Matteo, Edward and Dewers, Thomas and Chaudhry, Aqeel Afzal and Naumov, Dmitri and Kaiser, Sonja and Nagel, Thomas and Buchwald, Jörg and Wang, Wenqing},
  year = {2024},
  doi = {10.2172/2481303},
  url = {https://www.osti.gov/biblio/2481303},
  note = {Source identifier: 2481303}
}