BibTeX record conf/dood/AroraRRSS93

download as .bib file

@inproceedings{DBLP:conf/dood/AroraRRSS93,
  author    = {Tarun Arora and
               Raghu Ramakrishnan and
               William G. Roth and
               Praveen Seshadri and
               Divesh Srivastava},
  title     = {Explaining Program Execution in Deductive Systems},
  booktitle = {{DOOD}},
  series    = {Lecture Notes in Computer Science},
  volume    = {760},
  pages     = {101--119},
  publisher = {Springer},
  year      = {1993}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics