BibTeX record conf/testen/Kneuper92

download as .bib file

@inproceedings{DBLP:conf/testen/Kneuper92,
  author    = {Ralf Kneuper},
  editor    = {Peter Liggesmeyer and
               Harry M. Sneed and
               Andreas Spillner},
  title     = {Validation und Verifikation von Software durch symbolische Ausf{\"{u}}hrung},
  booktitle = {Testen, Analysieren und Verifizieren von Software, Arbeitskreis Testen,
               Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering
               der GI, Proceedings der Treffen in Benthe und Bochum Juni 1991 und
               Februar 1992},
  series    = {Informatik Aktuell},
  pages     = {155--167},
  publisher = {Springer},
  year      = {1992},
  url       = {https://doi.org/10.1007/978-3-642-77747-9\_14},
  doi       = {10.1007/978-3-642-77747-9\_14},
  timestamp = {Fri, 26 May 2017 00:51:03 +0200},
  biburl    = {https://dblp.org/rec/conf/testen/Kneuper92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics