BibTeX record conf/lpe/AroraRRSS93

download as .bib file

@inproceedings{DBLP:conf/lpe/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 = {{LPE}},
  pages     = {1--7},
  publisher = {IRISA, Campus de Beaulieu, France},
  year      = {1993}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics