Options
2014
Presentation
Titel
Security Certification in the Presence of Evolution: Models vs. Code
Titel Supplements
Presentation held at 1st International Workshop on Safety and Formal Methods, SaFoMe@SEFM 2014, 1st September 2014, Grenoble