Media type: E-Book Title: Deductive Verification of Concurrent 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, 2015 Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2015,3 Extent: Online-Ressource Language: English Identifier: Keywords: Forschungsbericht Origination: Footnote: Literaturverzeichnis: Seite 45-53 Access State: Open Access