TY  - RPRT
TI  - DECOVALEX-2023: Task A Final Report
AU  - Plúa, Carlos
AU  - Vu, Minh-Ngoc
AU  - de La Vaissière, Rémi
AU  - Armand, G.
AU  - Olivella, Sebastià
AU  - Dono, Alfonso Rodriguez
AU  - Ouraga, Zady
AU  - Yu, Zhan
AU  - Shao, Jian-Fu
AU  - Wang, Qianyun
AU  - Radenisen, Eike
AU  - Shao, Hua
AU  - Tsubasa, Sasaki
AU  - Yoon, Sangcheol
AU  - Rutqvist, Jonny
AU  - Song, Fei
AU  - Collico, Stefano
AU  - Gens, Antonio
AU  - Thatcher, Kate
AU  - Bruffell, Louise
AU  - Bond, Alexander E.
PY  - 2024
DO  - 10.2172/2481300
UR  - https://www.osti.gov/biblio/2481300
ID  - 2481300
ER  -