@article{DBLP:journals/entcs/PistoreRB04,
  author    = {Marco Pistore and
               Marco Roveri and
               Paolo Busetta},
  title     = {Requirements-Driven Verification of Web Services},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {105},
  pages     = {95--108},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.entcs.2004.05.005},
  doi       = {10.1016/j.entcs.2004.05.005},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/PistoreRB04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"RZqKeYamY5EioStuE","bibbaseid":"pistore-roveri-busetta-requirementsdrivenverificationofwebservices-2004","author_short":["Pistore, M.","Roveri, M.","Busetta, P."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Marco"],"propositions":[],"lastnames":["Pistore"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Roveri"],"suffixes":[]},{"firstnames":["Paolo"],"propositions":[],"lastnames":["Busetta"],"suffixes":[]}],"title":"Requirements-Driven Verification of Web Services","journal":"Electron. Notes Theor. Comput. Sci.","volume":"105","pages":"95–108","year":"2004","url":"https://doi.org/10.1016/j.entcs.2004.05.005","doi":"10.1016/j.entcs.2004.05.005","timestamp":"Fri, 12 Feb 2021 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/entcs/PistoreRB04.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/entcs/PistoreRB04,\n author = {Marco Pistore and\n Marco Roveri and\n Paolo Busetta},\n title = {Requirements-Driven Verification of Web Services},\n journal = {Electron. Notes Theor. Comput. Sci.},\n volume = {105},\n pages = {95--108},\n year = {2004},\n url = {https://doi.org/10.1016/j.entcs.2004.05.005},\n doi = {10.1016/j.entcs.2004.05.005},\n timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/entcs/PistoreRB04.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Pistore, M.","Roveri, M.","Busetta, P."],"key":"DBLP:journals/entcs/PistoreRB04","id":"DBLP:journals/entcs/PistoreRB04","bibbaseid":"pistore-roveri-busetta-requirementsdrivenverificationofwebservices-2004","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.entcs.2004.05.005"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/83/563.bib","dataSources":["SzPGZamk2BCyHJTQr"],"keywords":[],"search_terms":["requirements","driven","verification","web","services","pistore","roveri","busetta"],"title":"Requirements-Driven Verification of Web Services","year":2004}