Fakultät Wirtschaftsinformatik und Angewandte Informatik

Lehrstuhl Softwaretechnik und Programmiersprachen

Forschung

Die Forschung des Lehrstuhls Softwaretechnik und Programmiersprachen befasst sich mit Themen der formalen Software-Spezifikation, -Analyse und -Verifikation:

Die aktuellsten Informationen zu den Forschungsgebieten des Lehrstuhls finden Sie in englischer Sprache unter folgenden Verweisen: