Dobos-Kovács, Mihály. “Combining Testing and Formal Verification in Automotive Software Development.” Bachelor’s thesis, Budapest University of Technology and Economics, 2019.

@mastersthesis{dobosk-mihaly-bsc,
  author = {Dobos-Kov\'acs, Mih\'aly},
  title = {Combining testing and formal verification in automotive software development},
  school = {Budapest University of Technology and Economics},
  year = {2019},
  type = {Bachelor{\textquoteright}s thesis}
}