Bajkai, Dorina Viktória. “Combining Abstract Domains for Software Model Checking.” Bachelor’s thesis, Budapest University of Technology and Economics, 2018.

@mastersthesis{bajkai-dorina-bsc,
  author = {Bajkai, Dorina Vikt{\'o}ria},
  title = {Combining Abstract Domains for Software Model Checking},
  school = {Budapest University of Technology and Economics},
  year = {2018},
  type = {Bachelor{\textquoteright}s thesis}
}