Tegzes, Tamás. “Learning and Synthesis Supported Software Verification.” Master’s thesis, Budapest University of Technology and Economics, 2020.

@mastersthesis{tegzes-tamas-msc,
  author = {Tegzes, Tam{\'a}s},
  title = {Learning and Synthesis Supported Software Verification},
  school = {Budapest University of Technology and Economics},
  year = {2020},
  type = {Master{\textquoteright}s thesis}
}