Defense of dissertations
Fri 04 December
-
Public defences of doctoral theses
Computer Science
Friday 2015-12-04, 14:00
Location: F3, Lindstedtsvägen 26, Stockholm
Doctoral student: Pedro de Carvalho Gomes , TCS
2015-12-04T14:00:00.529+01:00 2015-12-04T14:00:00.529+01:00 Automatic Extraction of Program Models for Formal Software Verification (Public defences of doctoral theses) F3, Lindstedtsvägen 26, Stockholm (KTH, Stockholm, Sweden)Automatic Extraction of Program Models for Formal Software Verification (Public defences of doctoral theses)