A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations

Kaminski, Benjamin Lucien (Corresponding author); Katoen, Joost-Pieter

Piscataway, NJ : IEEE (2017)
Contribution to a book, Contribution to a conference proceedings

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

Identifier