Über uns
Das Fachgebiet „Software Engineering“ gegründet im September 2011 steht unter der Leitung von . Prof. Dr. Reiner Hähnle
Auf diesen Seiten finden Sie die Kontaktdaten der , Mitarbeiter , ausgeschriebene Beschreibungen und Verweise auf aktuelle Forschungsprojekte sowie aktuelle Neuigkeiten. Bachelor- und Masterarbeiten
- Formale Spezifikation und deduktive Verifikation von Programmen
- Modellierung und statische Analyse nebenläufiger und verteilter Systeme