Kneuper92'

BibTeX

@inproceedings{DBLP:conf/testen/Kneuper92,
  author    = {Ralf Kneuper},
  title     = {Validation und Verifikation von Software durch symbolische
               Ausf{\"u}hrung},
  booktitle = {Testen, Analysieren und Verifizieren von Software},
  year      = {1992},
  pages     = {155-167},
  crossref  = {DBLP:conf/testen/1992},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/testen/1992,
  editor    = {Peter Liggesmeyer and
               Harry M. Sneed and
               Andreas Spillner 0002},
  title     = {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},
  booktitle = {Testen, Analysieren und Verifizieren von Software},
  publisher = {Springer},
  series    = {Informatik Aktuell},
  year      = {1992},
  isbn      = {3-540-55860-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}