@misc{333,
  author       = {{Osterbrink, Sebastian}},
  publisher    = {{Universität Paderborn}},
  title        = {{{Visualisierung von SMT-Solver-Ausgaben}}},
  year         = {{2014}},
}