TY  - RPRT
TI  - DECOVALEX-2023: Task D Final Report
AU  - Sugita, Yutaka
AU  - Beese, Steffen
AU  - Maßmann, Jobst
AU  - Pan, Pengzhi
AU  - Kim, Minseop
AU  - Lee, Changsoo
AU  - Ohno, Hirokazu
AU  - Ozaki, Yusuke
AU  - Colón, Carlos F. Jové
AU  - Lopez, Carlos M.
AU  - Liang, Suuyan
PY  - 2024
DO  - 10.2172/2481304
UR  - https://www.osti.gov/biblio/2481304
ID  - 2481304
ER  -