Didrik Lundberg
Doktorand
Kungliga Tekniska Högskolanhttps://www.kth.se/profile/didrikl
Forskare
Om mig
Doktorand inom systemsäkerhet och formella metoder.
Publikationer i urval:
Hoare-Style Logic for Unstructured Programs
Doktorand inom systemsäkerhet och formella metoder.
Publikationer i urval:
Hoare-Style Logic for Unstructured Programs