Aktuelles: Erfolgreiche Promotion

Zafer Esen hat seine Doktorarbeit mit dem Titel "Transformations for Verifying Programs with Heap-Allocated Data Structures" erfolgreich verteidigt. Herzlichen Glückwunsch!