TY  - RPRT
TI  - DECOVALEX-2019 (Task B Final Report)
AU  - Graupner, Bastian
AU  - Rutqvist, Jonny
AU  - Guglielmi, Yves
AU  - Nguyen, Thanh Son
AU  - Yoon, Jeoung Seok
AU  - Maßmann, Jobst
AU  - Ziefle, Gesa
AU  - Shiu, Wenjie
AU  - Kim, Taehyun
AU  - Park, Jung-Wook
AU  - Urpi, Luca
PY  - 2020
DO  - 10.2172/1762802
UR  - https://www.osti.gov/biblio/1762802
ID  - 1762802
ER  -