252-0239-00L  Software Verification

SemesterAutumn Semester 2015
LecturersB. Meyer, C. A. Furia, S. Nanz
Periodicityyearly recurring course
Language of instructionEnglish


NumberTitleHoursLecturers
252-0239-00 VSoftware Verification
A few of the Wednesday classes (1 hour, 15-16) are given by guest speakers on a research topic related to the content of the preceding Monday class.
3 hrs
Mon10:15-12:00RZ F 21 »
Wed14:15-15:00RZ F 21 »
B. Meyer, C. A. Furia, S. Nanz
252-0239-00 USoftware Verification2 hrs
Wed15:15-17:00RZ F 21 »
B. Meyer, C. A. Furia, S. Nanz