DBLP Record 'conf/se/WintersteinHT80'

BibTeX

@inproceedings{DBLP:conf/se/WintersteinHT80,
  author    = {Georg Winterstein and
               Norbert Heck and
               Peter Trum},
  title     = {Pr{\"a}dikatenlogik als Basis f{\"u}r eine Spezifikationssprache},
  booktitle = {Software Engineering},
  year      = {1980},
  pages     = {312-313},
  crossref  = {DBLP:conf/se/1980},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/se/1980,
  editor    = {Christiane Floyd and
               Hermann Kopetz},
  title     = {Software Engineering - Entwurf und Spezifikation, Tagung
               II/1980 mit Workshop des German Chapter of the ACM vom 12.
               bis 16.9.1980 in Berlin},
  booktitle = {Software Engineering},
  publisher = {Teubner},
  series    = {Berichte des German Chapter of the ACM},
  volume    = {5},
  year      = {1981},
  isbn      = {3-519-02424-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}