BibTeX record conf/aplas/HeintzeJV00

download as .bib file

@inproceedings{DBLP:conf/aplas/HeintzeJV00,
  author    = {Nevin Heintze and
               Joxan Jaffar and
               Razvan Voicu},
  title     = {Conditional Analysis and Verification},
  booktitle = {{APLAS}},
  pages     = {33--49},
  year      = {2000}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics