Bajkai, Dorina Viktória. “Efficient Combinations of Predicate Abstraction and Explicit-Value Analysis for Software Model Checking.” Master’s thesis, Budapest University of Technology and Economics, 2020.

@mastersthesis{bajkai-dorina-msc,
  author = {Bajkai, Dorina Vikt{\'o}ria},
  title = {Efficient combinations of predicate abstraction and explicit-value analysis for software model checking},
  school = {Budapest University of Technology and Economics},
  year = {2020},
  type = {Master{\textquoteright}s thesis}
}