A Debugger for Probabilistic Programs

Hoppen, Alexander; Noll, Thomas (Corresponding author)

Cham : Springer (2021)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Software Engineering and Formal Methods : 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings / edited by Radu Calinescu, Corina S. Păsăreanu
Seite(n)/Artikel-Nr.: 282-289

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]