BibTeX record conf/oopsla/GopinathanR08

download as .bib file

@inproceedings{DBLP:conf/oopsla/GopinathanR08,
  author    = {Madhu Gopinathan and
               Sriram K. Rajamani},
  title     = {Enforcing object protocols by combining static and runtime analysis},
  booktitle = {{OOPSLA}},
  pages     = {245--260},
  publisher = {{ACM}},
  year      = {2008}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics