Program Analysis course at TU Kaiserslautern and Saarland University

Bild der Pressemitteilung


Maria Christakis and Eva Darulova are teaching Program Analysis at TU Kaiserslautern and Saarland University. This class is co-taught with Jan Reinecke from Saarland University and covers both static and dynamic analysis.