BibTeX record conf/se/KramerS80

download as .bib file

@inproceedings{DBLP:conf/se/KramerS80,
  author    = {Bernd J. Kr{\"{a}}mer and
               Heinz W. Schmidt},
  title     = {Interaktive Softwareentwicklung durch schrittweise Formalisierung},
  booktitle = {Software Engineering - Entwurf und Spezifikation, Tagung {II/1980}
               mit Workshop des German Chapter of the {ACM} vom 12. bis 16.9.1980
               in Berlin},
  pages     = {310--311},
  year      = {1980},
  crossref  = {DBLP:conf/se/1980},
  timestamp = {Thu, 27 Feb 2003 09:55:22 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/se/KramerS80},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  series    = {Berichte des German Chapter of the {ACM}},
  volume    = {5},
  publisher = {Teubner},
  year      = {1981},
  isbn      = {3-519-02424-1},
  timestamp = {Thu, 27 Feb 2003 09:55:22 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/se/1980},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}