default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd WWV 2007: Venice, Italy
- Demis Ballis, Santiago Escobar, Massimo Marchiori:
Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, WWV 2007, Venice, Italy, December 14, 2007. Electronic Notes in Theoretical Computer Science 200(3), Elsevier 2008 - Demis Ballis, Santiago Escobar
, Massimo Marchiori:
Preface. 1-2 - Joost Visser:
Coupled Transformation of Schemas, Documents, Queries, and Constraints. 3-23 - Musab AlTurki, José Meseguer:
Reduction Semantics and Formal Analysis of Orc Programs. 25-41 - Faisal Abouzaid, John Mullins:
A Calculus for Generation, Verification and Refinement of BPEL Specifications. 43-65 - Jesús Manuel Almendros-Jiménez:
An RDF Query Language based on Logic Programming. 67-85 - María-José Hidalgo, José-Antonio Alonso, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina:
Constructing Formally Verified Reasoners for the ACL Description Logic. 87-102 - Sonia Flores, Salvador Lucas, Alicia Villanueva:
Formal Verification of Websites. 103-118 - Robin Henry Message, Alan Mycroft:
Controlling Control Flow in Web Applications. 119-131 - Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
Service Discovery and Negotiation With COWS. 133-154 - Nawal Guermouche, Olivier Perrin, Christophe Ringeissen:
Timed Specification For Web Services Compatibility Analysis. 155-170 - Peter Höfner, Florian Lautenbacher:
Algebraic Structure of Web Services. 171-187
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
