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.

LIMITS 2024 LIMITS 2024

Live Übertragung der Tenth Workshop on Computing Within Limits

Inhaltspezifische Aktionen