Didrik Lundberg
Doktorand
Kungliga Tekniska Högskolanhttps://www.kth.se/profile/didrikl
Detaljer
Arbetar vid
Enhetens adress
Lindstedtsvägen 5 Plan 5
E-post
Rum
Forskare
Om mig
Doktorand inom systemsäkerhet och formella metoder.
Publikationer i urval:
Hoare-Style Logic for Unstructured Programs