BibTeX record conf/se/Simonsmeier80

download as .bib file

@inproceedings{DBLP:conf/se/Simonsmeier80,
  author       = {Werner Simonsmeier},
  editor       = {Christiane Floyd and
                  Hermann Kopetz},
  title        = {Wo liegen die Grenzen der praktischen Anwendung formaler Methoden
                  f{\"{u}}r die Anforderungsdefinition und funktionale Spezifikation?},
  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},
  series       = {Berichte des German Chapter of the {ACM}},
  volume       = {5},
  pages        = {263--264},
  publisher    = {Teubner},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 09:55:22 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Simonsmeier80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics