Horváth, Benedek. “Analyzing Scenario-Based Specifications.” Master’s thesis, Budapest University of Technology and Economics, 2017.

@mastersthesis{horvath-benedek-msc,
  author = {Horv{\'a}th, Benedek},
  title = {Analyzing Scenario-based Specifications},
  school = {Budapest University of Technology and Economics},
  year = {2017},
  type = {Master{\textquoteright}s thesis}
}