Newsarchiv

Alpine Verification Meeting 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