Version vom 22. April 2009, 14:36 Uhr von Dietsch(Diskussion | Beiträge)(Die Seite wurde neu angelegt: ==== Verantwortlich ==== * [http://swt.informatik.uni-freiburg.de/staff/podelski Prof. Dr. A. Podelski] ==== Dozenten ==== * Stephan Arlt * [[Benutze...)