Media type: E-Book Title: Towards Specification and Verification of Information Flow in Concurrent Java-like Programs Contributor: Grahl, Daniel [Author] Corporation: Karlsruher Institut für Technologie, Fakultät für Informatik imprint: Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2014 Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2014,5 Extent: Online-Ressource Language: English Keywords: Forschungsbericht Origination: Footnote: Literaturverzeichnis: Seite 30-33 Access State: Open Access