A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations

Piscataway, NJ / IEEE (2017) [Contribution to a book, Contribution to a conference proceedings]

32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Page(s): 1-12

Authors

Authors

Kaminski, Benjamin Lucien
Katoen, Joost-Pieter

Identifier

  • REPORT NUMBER: RWTH-CONV-220383