Sallai, Gyula. “Development of a Verification Compiler for C Programs.” Bachelor’s thesis, Budapest University of Technology and Economics, 2016.

@mastersthesis{sallai-gyula-bsc,
  author = {Sallai, Gyula},
  title = {Development of a Verification Compiler for C Programs},
  school = {Budapest University of Technology and Economics},
  year = {2016},
  type = {Bachelor{\textquoteright}s thesis}
}