Media type: E-Article Title: Requirements-Driven Verification of Web Services Contributor: Pistore, Marco; Roveri, Marco; Busetta, Paolo imprint: Elsevier BV, 2004 Published in: Electronic Notes in Theoretical Computer Science Language: English DOI: 10.1016/j.entcs.2004.05.005 ISSN: 1571-0661 Keywords: General Computer Science ; Theoretical Computer Science Origination: Footnote: Access State: Open Access