@misc{BensonMakaitRabl2021,
  author    = {Lawrence Benson and Hendrik Makait and Tilmann Rabl},
  title     = {Viper},
  booktitle = {Zweitver{\"o}ffentlichungen der Universit{\"a}t Potsdam : Reihe der Digital Engineering Fakult{\"a}t},
  number    = {9},
  issn      = {2150-8097},
  doi       = {10.25932/publishup-55966},
  institution = {Hasso-Plattner-Institut f{\"u}r Digital Engineering GmbH},
  series    = {Zweitver{\"o}ffentlichungen der Universit{\"a}t Potsdam : Reihe der Digital Engineering Fakult{\"a}t},
  number    = {20},
  type      = {postprint},
  pages     = {15},
  year        = {2021},
}