@misc{indiciae34719df3cc6c,
  title = {A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations},
  author = {Benjamin Lucien Kaminski and Joost-Pieter Katoen},
  year = {2017},
  url = {https://arxiv.org/abs/1703.07682},
  note = {Source identifier: 1703.07682}
}