| title | type | semester | place |
|---|---|---|---|
| Static Program Checking | Vorlesung (V) | SS 2014 | 50.34 Room 236 |
| Bug Finding Techniques | seminar | SS 2014 | [email the lecturers] |
| Title | Type | Semester | Place | Time |
|---|---|---|---|---|
| Automatic Program Checking | lecture | SS 2010 | Geb. 50. 34, Room 236 |
Mon. and Thu. 14:00 - 15:30 |
| Automatic Program Checking | lecture | SS 2011 | Geb. 50.34, Room 236 |
Monday, Thursday 14:00 - 15:30 |
| Static Program Checking | lecture | WS 2011/2012 |
Geb. 50.34, Room 236 |
Thursday 14:00 - 15:30 |
| Bug Finding Techniques | seminar | SS 2013 | [email the lecturers] |
[email the lecturers] |
| Bug Finding Techniques | seminar | WS 2010/2011 | Geb 50.34, Room 236 |
Thursdays 14.00 - 15.30 |
| Bug Finding Techniques | seminar | WS 2011/2012 |
[email the lecturers] |
[email the lecturers] |
| Bug Finding Techniques | seminar | WS 2012/2013 |
[email the lecturers] |
[email the lecturers] |
| Bug Finding Techniques | seminar | WS 2013/2014 | [email the lecturers] |
[email the lecturers] |
| Program analysis | seminar | WS 2009/2010 | Geb. 50. 34 SR 301 |
Tuesday 11:30-13 |