BibTeX record conf/issta/HughesBA08

download as .bib file

@inproceedings{DBLP:conf/issta/HughesBA08,
  author    = {Graham Hughes and
               Tevfik Bultan and
               Muath Alkhalaf},
  title     = {Client and server verification for web services using interface grammars},
  booktitle = {{TAV-WEB}},
  pages     = {40--46},
  publisher = {{ACM}},
  year      = {2008}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics