Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Seminar Meeting 1 | Seminar Meeting | https://cispa-de.zoom.us/j/67047831585?pwd=TklENGVVbUw3bGhHRytNMHB3c2dqUT09 | 24.04.23 | 24.04.23 | No |
Specification-Based Testing and Debugging
Dominic Steinhöfel + Andreas Zeller