Secure Information Flow for Java - A Dynamic Logic Approach : Extended Version / Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, and Mattias Ulbrich
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Karlsruher Institut für Technologie. Karlsruhe reports in informatics ; 2013,10Verlag: Karlsruhe : KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2013Beschreibung: Online-RessourceGenre/Form: Online-Ressourcen: Notes: Anmerkungen: Elektronische RessourceNote: Hinweis: Elektronische RessourcePPN: PPN: 770127193Package identifier: Produktsigel: ZDB-296-TTNDieser Titel hat keine Exemplare