Calendar
Fri 19 September
-
Public defences of doctoral theses
Computer Science
Friday 2014-09-19, 14:00
Participating: Siavash Soleimanifard
Location: F3 Lindstedtsvägen 26
Doctoral student: Siavash Soleimanifard , TCS
2014-09-19T14:00:00.602+02:00 2014-09-19T14:00:00.602+02:00 Algorithmic Verification of Procedural Programs in the Presence of Code Variability (Public defences of doctoral theses) F3 Lindstedtsvägen 26 (KTH, Stockholm, Sweden)Algorithmic Verification of Procedural Programs in the Presence of Code Variability (Public defences of doctoral theses)