Specification and verification of object oriented software componentsAndreas RothÉpuisé4,3Prévenez-moi