This is the moodle course site for the lecture "Formal Specification and Verification of Object-Oriented Software"