BibTeX record conf/oopsla/MadhavanMGK15

download as .bib file

@inproceedings{DBLP:conf/oopsla/MadhavanMGK15,
  author    = {Ravichandhran Madhavan and
               Mika{\"{e}}l Mayer and
               Sumit Gulwani and
               Viktor Kuncak},
  title     = {Automating grammar comparison},
  booktitle = {{OOPSLA}},
  pages     = {183--200},
  publisher = {{ACM}},
  year      = {2015}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics