Media type: E-Book Title: Incremental and Compositional Probabilistic Analysis of Programs Contributor: Omri, Fouad ben Nasr [Author]; Omri, Safa [Other]; Reussner, Ralf [Other] 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,2 Extent: Online-Ressource Language: English DOI: 10.5445/IR/1000045597 Identifier: Keywords: Forschungsbericht Origination: Footnote: Literaturverzeichnis: Seite 15-16 Access State: Open Access