TY  - RPRT
TI  - DECOVALEX-2023: Task F1 Final Report
AU  - Mariner, Paul
AU  - Leone, Rosie
AU  - Stein, Emily
AU  - Thiedau, Jan
AU  - Morel, Carlos Guevara
AU  - Li, Zhenze
AU  - Nguyen, Son
AU  - Kim, Jung-Woo
AU  - Kim, Yong-Min
AU  - Lee, Jaewon
AU  - Kim, Minjeong
AU  - Hyman, Jeffrey
AU  - Chang, Chieh-Chun
AU  - Shen, Yi-Hsiang
AU  - Chang, Hao-Ting
AU  - Briggs, Scott
AU  - Březina, Jan
AU  - Osuji, Nicholas Izuchukwu
PY  - 2024
DO  - 10.2172/2481307
UR  - https://www.osti.gov/biblio/2481307
ID  - 2481307
ER  -