Login / Signup

Stochastic Analogues of Invariants - Martingales in Stochastic Event-B.

Richard Banach
Published in: ENASE (2015)
Keyphrases