DBLP Record 'conf/adaD/FreiningKW02'

BibTeX

@inproceedings{DBLP:conf/adaD/FreiningKW02,
  author    = {Carsten Freining and
               Stefan Kauer and
               J{\"u}rgen F. H. Winkler},
  title     = {Ein Vergleich der Programmbeweiser FPP, NPPV und SPARK},
  booktitle = {Ada Deutschland Tagung},
  year      = {2002},
  pages     = {127-145},
  crossref  = {DBLP:conf/adaD/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/adaD/2002,
  editor    = {J{\"u}rgen F. H. Winkler and
               Peter Denecker and
               Hubert B. Keller and
               Michael Tonndorf},
  title     = {Ada Deutschland Tagung 2002: Software f{\"u}r sicherheitskritische
               Systeme, 6. bis 8. M{\"a}rz 2002, Jena, Friedrich-Schiller-Universit{\"a}t},
  booktitle = {Ada Deutschland Tagung},
  publisher = {Shaker Verlag},
  year      = {2003},
  isbn      = {3-8265-9956-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}