BibTeX record conf/pldi/ArltRS13

download as .bib file

@inproceedings{DBLP:conf/pldi/ArltRS13,
  author    = {Stephan Arlt and
               Philipp R{\"{u}}mmer and
               Martin Sch{\"{a}}f},
  title     = {Joogie: from Java through Jimple to Boogie},
  booktitle = {SOAP@PLDI},
  pages     = {3--8},
  publisher = {{ACM}},
  year      = {2013}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics