Hajdu, Ákos. “A Survey on CEGAR-Based Model Checking.” Master’s thesis, Budapest University of Technology and Economics, 2015.

@mastersthesis{hajdu-akos-msc,
  author = {Hajdu, \'Akos},
  title = {A survey on {CEGAR}-based model checking},
  school = {Budapest University of Technology and Economics},
  year = {2015},
  type = {Master{\textquoteright}s thesis}
}