BibTeX record conf/staf/ChengMP15

download as .bib file

@inproceedings{DBLP:conf/staf/ChengMP15,
  author    = {Zheng Cheng and
               Rosemary Monahan and
               James F. Power},
  title     = {Verifying SimpleGT Transformations Using an Intermediate Verification
               Language},
  booktitle = {VOLT@STAF},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1530},
  pages     = {12--19},
  publisher = {CEUR-WS.org},
  year      = {2015}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics