Logische Methoden des Software Engineering 1

Link:

https://ls14-www.cs.tu-dortmund.de/cms/de/Lehre/Lehrveranstaltungen/2020WS/LMSE-1/index.html

In the absence of student opposition, the lecture will be given in English. The exercises will be in German.