Weakest-preexpectation proof rules for disjoint concurrent probabilistic programs

Arens, Patrick; Fesefeldt, Ira Justus (Thesis advisor); Katoen, Joost-Pieter (Thesis advisor); Noll, Thomas (Thesis advisor)

Aachen (2021)
Bachelorarbeit

Bachelorarbeit, RWTH Aachen University, 2021