1460

If you are logged in with a Research4Life password, you are accessing from an institution where this resource is not on offer. You can proceed as a member of the public using the link below.

If you are not logged in with a Research4Life password, you can log in now for greater access:

Log in for access


If you don't have a Research4Life password or don't want to log in, you can view  Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering as a member of the public: 

Proceed to Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering as a member of the public.

This is a required field
Please enter a valid email address
Approval was a Success
Invalid data
An Error Occurred
Approval was partially successful, following selected items could not be processed due to error