@article{Reif2019,
  author    = {Wolfgang Reif},
  title     = {Software Verifikation: Stand und Perspektiven},
  journal   = {Grundlagen, Spezifikation, Implementierung und Verifikation von Programmiersprachen: Technischer Bericht FI96/06, TU Dresden},
  editor    = {Heiko Vogler},
  year      = {2019},
}