This is the moodle course site for the lecture "Formal Specification and Verification of Object-Oriented Software"
- Dozent*in: Richard Bubel
This is the moodle course site for the lecture "Formal Specification and Verification of Object-Oriented Software"