Richard Banach. Stochastic Analogues of Invariants - Martingales in Stochastic Event-B. In Joaquim Filipe, Leszek A. Maciaszek, editors, ENASE 2015 - Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering, Barcelona, Spain, 29-30 April, 2015. pages 238-243, SciTePress, 2015. [doi]
Abstract is missing.