TY  - RPRT
TI  - A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations
AU  - Benjamin Lucien Kaminski
AU  - Joost-Pieter Katoen
PY  - 2017
UR  - https://arxiv.org/abs/1703.07682
ID  - 1703.07682
ER  -