BibTeX record conf/issta/HughesBA08

• > Home > conf/issta/HughesBA08

@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 = {Proceedings of the 2008 Workshop on Testing, Analysis, and Verification
               of Web Services and Applications, held in conjunction with the {ACM}
               {SIGSOFT} International Symposium on Software Testing and Analysis
               {(ISSTA} 2008), {TAV-WEB} 2008, Seattle, Washington, USA, July 21,
               2008},
  pages     = {40--46},
  year      = {2008},
  crossref  = {DBLP:conf/issta/2008t},
  url       = {https://doi.org/10.1145/1390832.1390839},
  doi       = {10.1145/1390832.1390839},
  timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
  biburl    = {https://dblp.org/rec/conf/issta/HughesBA08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/issta/2008t,
  editor    = {Tevfik Bultan and
               Tao Xie},
  title     = {Proceedings of the 2008 Workshop on Testing, Analysis, and Verification
               of Web Services and Applications, held in conjunction with the {ACM}
               {SIGSOFT} International Symposium on Software Testing and Analysis
               {(ISSTA} 2008), {TAV-WEB} 2008, Seattle, Washington, USA, July 21,
               2008},
  publisher = {{ACM}},
  year      = {2008},
  isbn      = {978-1-60558-053-1},
  timestamp = {Tue, 19 Jan 2021 22:34:21 +0100},
  biburl    = {https://dblp.org/rec/conf/issta/2008t.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}