%0 Generic
%T Slicing of Probabilistic Programs Based on Specifications (Extended Abstract)
%A Navarro, Marcelo
%A Olmedo, Federico
%A Marcelo Navarro and Federico Olmedo
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K program slicing
%K verification condition generator
%K expectation transformer semantics
%K probabilistic programming
%D 2022
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation