Reasoning About States of Probabilistic Sequential Programs.

Rohit Chadha, Paulo Mateus, Amlcar Sernadas

Browse the full CSL paper archive.