A unified slicing framework for probabilistic programs

Haase, Darion; Noll, Thomas (Thesis advisor); Katoen, Joost-Pieter (Thesis advisor)

Aachen (2022)
Master Thesis

Masterarbeit, RWTH Aachen University, 2022

Abstract