1 citations · 1 across the 1 of their papers we have counts for
1 paper
Damián Barsotti, Nicolás Wolovick
The weakest pre-expectation calculus has been proved to be a mature theory to analyze quantitative properties of probabilistic and nondeterministic programs. We present an automati…