Tese de doutoramento Acesso aberto

Specification and refinement of software connectors