Hohlfeld84'

BibTeX

@inproceedings{DBLP:conf/programmier/Hohlfeld84,
  author    = {Bernhard Hohlfeld},
  title     = {Programmverifikation in lauff{\"a}higen Pascal-Programmen},
  booktitle = {Fachtagung {\"u}ber Programmiersprachen},
  year      = {1984},
  pages     = {26-40},
  crossref  = {DBLP:conf/programmier/1984},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/programmier/1984,
  editor    = {Urs Ammann},
  title     = {Programmiersprachen und Programmentwicklung, 8. Fachtagung,
               veranstaltet vom Fachausschu{\ss} 2.1 der GI und der Schweizer
               Informatiker Gesellschaft, Z{\"u}rich, 8./9. M{\"a}rz
               1984, Proceedings},
  booktitle = {Fachtagung {\"u}ber Programmiersprachen},
  publisher = {Springer},
  series    = {Informatik-Fachberichte},
  volume    = {77},
  year      = {1984},
  isbn      = {3-540-12905-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}