Specification and verification of object oriented software componentsAndreas RothUitverkocht4,3Volgen