@incollection{HussmannLoeckxReif1993,
  author    = {Heinrich Hußmann and Jacques Loeckx and Wolfgang Reif},
  title     = {KORSO: das Verbundprojekt "Korrekte Software"},
  booktitle = {Informatik — Wirtschaft — Gesellschaft: 23. GI — Jahrestagung, Dresden, 27. September - 1. Oktober 1993},
  editor    = {Horst Reichel},
  isbn      = {9783540571926},
  doi       = {10.1007/978-3-642-78486-6_42},
  year      = {1993},
}