TY  - RPRT
TI  - DECOVALEX-2019 (Task E Final Report)
AU  - Plúa, Carlos
AU  - Vitel, Manon
AU  - Seyedi, Darius
AU  - Armand, Gilles
AU  - Rutqvist, Jonny
AU  - Birkholzer, Jens
AU  - Xu, Hao
AU  - Guo, Ruiping
AU  - Wang, Wenqing
AU  - Nagel, Thomas
AU  - Kolditz, Olaf
AU  - Shao, Hua
PY  - 2020
DO  - 10.2172/1762805
UR  - https://www.osti.gov/biblio/1762805
ID  - 1762805
ER  -