BibTeX record conf/codes/TripakisAGLRWYKW11

download as .bib file

  author    = {Stavros Tripakis and
               Hugo A. Andrade and
               Arkadeb Ghosal and
               Rhishikesh Limaye and
               Kaushik Ravindran and
               Guoqiang Wang and
               Guang Yang and
               Jacob Kornerup and
               Ian C. Wong},
  title     = {Correct and non-defensive glue design using abstract models},
  booktitle = {{CODES+ISSS}},
  pages     = {59--68},
  publisher = {{ACM}},
  year      = {2011}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics