Title: Teaching formal methods
Subjects: Development, Study and teaching, Congresses, Formale Methode, Formal methods (Computer science), Informatikstudium, Computer software, Computer science, Software engineering