@misc{indiciae1fbf0edadbaf,
  title = {Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Programs},
  author = {Kevin Batz and Benjamin Lucien Kaminski and Joost-Pieter Katoen and Christoph Matheja and Thomas Noll},
  year = {2018},
  doi = {10.1145/3290347},
  url = {https://arxiv.org/abs/1802.10467},
  note = {Source identifier: 1802.10467}
}