%0 Generic
%T Incremental and Compositional Probabilistic Analysis of Programs
%A Omri, Fouad ben Nasr
%A Karlsruher Institut für Technologie Fakultät für Informatik
%A Omri, Safa
%A Reussner, Ralf
%I KIT Karlsruher Institut für Technologie, Fakultät für Informatik
%K Forschungsbericht
%D 2015
%X Literaturverzeichnis: Seite 15-16
%C KIT Karlsruher Institut für Technologie, Fakultät für Informatik
%C Karlsruhe
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation