BibTeX record conf/ifip/MehlhornN98

download as .bib file

@inproceedings{DBLP:conf/ifip/MehlhornN98,
  author    = {Kurt Mehlhorn and
               Stefan N{\"{a}}her},
  editor    = {Kurt Mehlhorn},
  title     = {From Algorithms to Working Programs on the Use of Program Checking
               in {LEDA}},
  booktitle = {Fundamentals - Foundations of Computer Science, {IFIP} World Computer
               Congress 1998, August 31 - September 4, 1998, Vienna/Austria and Budapest/Hungary},
  series    = {books@ocg.at},
  volume    = {117},
  pages     = {81--88},
  publisher = {Austrian Computer Society},
  year      = {1998},
  timestamp = {Wed, 23 Feb 2005 08:46:34 +0100},
  biburl    = {https://dblp.org/rec/conf/ifip/MehlhornN98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics