Security Certification in the Presence of Evolution: Models vs. Code (Invited talk)
Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops, Revised Selected Papers. 2015 S. XIX - XX (LNCS)
Erscheinungsjahr: 2015
Publikationstyp: Buchbeitrag (Konferenzbeitrag)
Doi/URN: 10.1007/978-3-319-15201-1
| Geprüft | Bibliothek |
