Formal Specification and Verification of Software WS 25/26

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