TY - GEN
AU - Barthe, Gilles
AU - Gordon, Andrew D.
AU - Katoen, Joost-Pieter
AU - McIver, Annabelle
AU - Gilles Barthe and Andrew D. Gordon and Joost-Pieter Katoen and Annabelle McIver
TI - Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181)
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - Bayesian networks
KW - security
KW - semantics
KW - machine learning
KW - static analysis
KW - differential privacy
KW - verification
KW - probabilistic programs
PY - 2015
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation