Document Actions
Head of Group
Up one levelProf. Dr. Andreas Podelski
- http://swt.informatik.uni-freiburg.de/staff/podelski
- program verification and analysis; requirements engineering; security.
Software Engineering
- Address
- University of Freiburg
Institut für Informatik
Lehrstuhl Softwaretechnik
Georges-Köhler-Allee 52
D-79110 Freiburg
Germany