BibTeX record conf/icalp/AptB77

download as .bib file

@inproceedings{DBLP:conf/icalp/AptB77,
  author    = {Krzysztof R. Apt and
               J. W. de Bakker},
  title     = {Semantics and Proof Theory of Pascal Procedures},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {52},
  pages     = {30--44},
  publisher = {Springer},
  year      = {1977}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics