"Metric Semantics for Probabilistic Relational Reasoning."

Arthur Azevedo de Amorim et al. (2018)
maintained by Schloss Dagstuhl LZI, founded at University of Trier