Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
scientific article; zbMATH DE number 5872808
scientific article