Sallai, Gyula. “LLVM IR-Based Transformations for Software Model Checking.” Master’s thesis, Budapest University of Technology and Economics, 2019.

@mastersthesis{sallai-gyula-msc,
  author = {Sallai, Gyula},
  title = {{LLVM} {IR}-based Transformations for Software Model Checking},
  school = {Budapest University of Technology and Economics},
  year = {2019},
  type = {Master{\textquoteright}s thesis}
}