A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations

Piscataway, NJ / IEEE (2017) [Buchbeitrag, Beitrag zu einem Tagungsband]

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

Autorinnen und Autoren

Autorinnen und Autoren

Kaminski, Benjamin Lucien
Katoen, Joost-Pieter

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-220383