@misc{indiciae7344bcdd5af3,
  title = {DECOVALEX-2023: Task D Final Report},
  author = {Sugita, Yutaka and Beese, Steffen and Maßmann, Jobst and Pan, Pengzhi and Kim, Minseop and Lee, Changsoo and Ohno, Hirokazu and Ozaki, Yusuke and Colón, Carlos F. Jové and Lopez, Carlos M. and Liang, Suuyan},
  year = {2024},
  doi = {10.2172/2481304},
  url = {https://www.osti.gov/biblio/2481304},
  note = {Source identifier: 2481304}
}