Quantitative Separation Logic : A Logic for Reasoning about Probabilistic Programs

(2018) [Preprint]

Seite(n): 159 Seiten

Autorinnen und Autoren

Autorinnen und Autoren

Batz, Kevin
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Matheja, Christoph
Noll, Thomas

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-236464