Aktuelle Nachrichten der Technischen Fakultät

Alpine Verification Meeting

Der Lehrstuhl für Softwaretechnik unter Leitung von Prof. Andreas Podelski hat das Alpine Verification Meeting (AVM) vom 4. bis 6. September in Freiburg ausgerichtet.

Inhaltspezifische Aktionen