On the hardness of analyzing probabilistic programs

(2018) [Fachzeitschriftenartikel]

Acta informatica

Autorinnen und Autoren

Autorinnen und Autoren

Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Matheja, Christoph

Identifikationsnummern