(Welcome to ...) - The open source pages of the European Commission Framework 6 program funded ist-contract project. The project is developing frameworks, components and tools which provide advanced contract based design and management and verification capabilities for Web Services environments. An overall description of the project as well as theoretical / design documents can be found at ist-contract.org.
