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