Tegzes, Tamás. “Applying Incremental, Inductive Model Checking to Software.” Bachelor’s thesis, Budapest University of Technology and Economics, 2018.

@mastersthesis{tegzes-tamas-bsc,
  author = {Tegzes, Tam{\'a}s},
  title = {Applying Incremental, Inductive Model Checking to Software},
  school = {Budapest University of Technology and Economics},
  year = {2018},
  type = {Bachelor{\textquoteright}s thesis}
}