Publication [KaminskiK17] A weakest pre-expectation semantics for mixed-sign expectations Kaminski, B. L. and Katoen, J.-P. In LICS, pages 1-12, IEEE Computer Society, 2017.Downloads: bib
