Publication:4939620
From MaRDI portal
zbMath0937.68087MaRDI QIDQ4939620
Publication date: 6 February 2000
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Integrating stochastic reasoning into Event-B development, Algebraic reasoning for probabilistic action systems and while-loops, Reactive Probabilistic Programs and Refinement Algebra