TY  - RPRT
TI  - DECOVALEX-2019 (Task C Final Report)
AU  - Iwatsuki, T.
AU  - Ishibashi, M.
AU  - Onoe, H.
AU  - Ozaki, Y.
AU  - Hagdu, T.
AU  - Jove-Colon, C. F.
AU  - Kalinina, E.
AU  - Wang, Y.
AU  - Balvin, A.
AU  - Hokr, M.
AU  - Landa, J.
AU  - Šembera, J.
AU  - Zeman, J.
PY  - 2020
DO  - 10.2172/1762804
UR  - https://www.osti.gov/biblio/1762804
ID  - 1762804
ER  -