Benoît Delahaye, Benoît Caillaud, Axel Legay. Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Systems with Stochastic and/or non-Deterministic Aspects.
Formal Methods in System Design, Springer Verlag, 2011, 38 (1), pp.1-32.
⟨10.1007/s10703-010-0107-8⟩.
⟨inria-00554307⟩