> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Combining Static and Dynamic Program Analysis Techniques for Checking Relational Properties Beteiligte: Herda, Mihai [Verfasser:in]; Beckert, B. [Akademische:r Betreuer:in] Erschienen: Karlsruhe: KIT-Bibliothek, 2020 Umfang: Online-Ressource Sprache: Englisch DOI: 10.5445/IR/1000104496 Identifikator: Schlagwörter: Program Verification ; Relational Properties ; Noninterference ; Information-flow Security ; Program Slicing Entstehung: Hochschulschrift: Dissertation, Karlsruhe, Karlsruher Institut für Technologie (KIT), 2019 Anmerkungen: Zugangsstatus: Freier Zugang