Formal Specification and Verification of Software 2023/24

Advanced topic in formal specification and verification of object-oriented software