Bajczi, Levente. “Stateless Software Model Checking Parameterized with Memory Consistency Models.” Bachelor’s thesis, Budapest University of Technology and Economics, 2020.

@mastersthesis{bajczi-levente-bsc,
  author = {Bajczi, Levente},
  title = {Stateless software model checking parameterized with memory consistency models},
  school = {Budapest University of Technology and Economics},
  year = {2020},
  type = {Bachelor{\textquoteright}s thesis}
}