Compositional design and verification of component-based information systemsJan Martijn van der WerfÉpuiséPrévenez-moi
