Text

Course syllabus - Quality assurance - Catching bugs by formal verification, 7.5 credits