Semeráth, Oszkár. “Formal Validation and Model Generation for Domain-Specific Languages by Logic Solvers.” PhD thesis, Budapest University of Technology and Economics, 2019.

@phdthesis{semerath-oszkar-phd,
  author = {Semer{\'a}th, Oszk{\'a}r},
  title = {Formal validation and model generation for domain-specific languages by logic solvers},
  school = {Budapest University of Technology and Economics},
  year = {2019},
  type = {PhD thesis}
}