Media type: E-Book; Thesis Title: Program-level Specification and Deductive Verification of Security Properties Contributor: Scheben, Christoph [Author] imprint: Karlsruhe: KIT-Bibliothek, 2014 Extent: Online-Ressource Language: English Identifier: Keywords: Hochschulschrift Origination: University thesis: Karlsruhe, Karlsruher Institut für Technologie (KIT), Diss., 2014 Footnote: Access State: Open Access