@misc{indiciae0864fa81b8c1,
  title = {DECOVALEX-2019 (Task G Final Report)},
  author = {Meier, Tobias and Backers, Tobias and Eberhardt, Erik and Fischer, Brendan and Geier, Joel and Kwon, Saeha and Min, Ki-Bok and Petersson, Carl-Henrik and Blaheta, Radim and Hančilová, Ilona and Hasal, Martin and Říha, Jakub and Lanaro, Flavio},
  year = {2020},
  doi = {10.2172/1762806},
  url = {https://www.osti.gov/biblio/1762806},
  note = {Source identifier: 1762806}
}