BibTeX record conf/ifip2-1/Moller93

download as .bib file

@inproceedings{DBLP:conf/ifip2-1/Moller93,
  author    = {Bernhard M{\"{o}}ller},
  title     = {Derivation of Graph and Pointer Algorithms},
  booktitle = {Formal Program Development},
  series    = {Lecture Notes in Computer Science},
  volume    = {755},
  pages     = {123--160},
  publisher = {Springer},
  year      = {1993}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics