TY  - RPRT
TI  - Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Programs
AU  - Kevin Batz
AU  - Benjamin Lucien Kaminski
AU  - Joost-Pieter Katoen
AU  - Christoph Matheja
AU  - Thomas Noll
PY  - 2018
DO  - 10.1145/3290347
UR  - https://arxiv.org/abs/1802.10467
ID  - 1802.10467
ER  -