Formal Specification and Verification of Software WS2024/25

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