TY - GEN
AU - Navarro, Marcelo
AU - Olmedo, Federico
AU - Marcelo Navarro and Federico Olmedo
TI - Slicing of Probabilistic Programs Based on Specifications (Extended Abstract)
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - program slicing
KW - verification condition generator
KW - expectation transformer semantics
KW - probabilistic programming
PY - 2022
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