BibTeX record journals/debu/DeutschV08

download as .bib file

@article{DBLP:journals/debu/DeutschV08,
  author       = {Alin Deutsch and
                  Victor Vianu},
  title        = {{WAVE:} Automatic Verification of Data-Driven Web Services},
  journal      = {{IEEE} Data Eng. Bull.},
  volume       = {31},
  number       = {3},
  pages        = {35--39},
  year         = {2008},
  url          = {http://sites.computer.org/debull/A08Sept/deutsch.pdf},
  timestamp    = {Tue, 10 Mar 2020 16:23:50 +0100},
  biburl       = {https://dblp.org/rec/journals/debu/DeutschV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics