Volume 200, Number 1, February 2008
Proceedings of the Third International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS 2007)
Volume 200, Number 2, February 2008
Proceedings of the First Workshop on Verification of Adaptive Systems (VerAS 2007)
Volume 200, Number 3, May 2008
Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems (WWV 2007)
: Coupled Transformation of Schemas, Documents, Queries, and Constraints.