Hajdu, Ákos. “Effective Domain-Specific Formal Verification Techniques.” PhD thesis, Budapest University of Technology and Economics, 2020.

@phdthesis{hajdu-akos-phd,
  author = {Hajdu, \'Akos},
  title = {Effective Domain-Specific Formal Verification Techniques},
  school = {Budapest University of Technology and Economics},
  year = {2020},
  type = {PhD thesis}
}