Automatische Programmanalyse- und Verifikationsmethoden (Prof. Dr. Bernhard Steffen)
Ueber die aktuell laufenden Projekte am Lehrstuhl 5 koennen Sie sich hier informieren
Schauen Sie auch auf die Projektgruppen, die am Lehrstuhl 5 angeboten werden. Auch dort werden interessante Bereiche weiterentwickelt oder neu angegangen.