Design and implementation of an interactive exploration tool for probabilistic programs

Hoppen, Alexander; Noll, Thomas (Thesis advisor); Katoen, Joost-Pieter (Thesis advisor)

Aachen (2020)
Masterarbeit

Masterarbeit, RWTH Aachen University, 2020