| Course | Teacher |
|---|---|
| Lecture: Satisfiability Checking | Erika Ábrahám, Jasper Nalbach, Valentin Promies Contact: teaching[at]ths.rwth-aachen.de |
| Proseminar: Formal Methods | Erika Ábrahám, József Kovács, Jasper Nalbach Contact: seminar[at]ths.rwth-aachen.de |
| Course | Teacher |
|---|---|
| Lecture: Satisfiability Checking | Erika Ábrahám, Jasper Nalbach, Valentin Promies Contact: teaching[at]ths.rwth-aachen.de |
| Proseminar: Formal Methods | Erika Ábrahám, József Kovács, Jasper Nalbach Contact: seminar[at]ths.rwth-aachen.de |