TY  - RPRT
TI  - DECOVALEX-2019 (Task G Final Report)
AU  - Meier, Tobias
AU  - Backers, Tobias
AU  - Eberhardt, Erik
AU  - Fischer, Brendan
AU  - Geier, Joel
AU  - Kwon, Saeha
AU  - Min, Ki-Bok
AU  - Petersson, Carl-Henrik
AU  - Blaheta, Radim
AU  - Hančilová, Ilona
AU  - Hasal, Martin
AU  - Říha, Jakub
AU  - Lanaro, Flavio
PY  - 2020
DO  - 10.2172/1762806
UR  - https://www.osti.gov/biblio/1762806
ID  - 1762806
ER  -