Towards Specification and Verification of Information Flow in Concurrent Java-like Programs / Daniel Bruns
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Karlsruher Institut für Technologie. Karlsruhe reports in informatics ; 2014, 5Verlag: Karlsruhe : KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2014Beschreibung: Online-RessourceGenre/Form: Online-Ressourcen: PPN: PPN: 843563753Package identifier: Produktsigel: ZDB-296-TTNDieser Titel hat keine Exemplare