Publication:4501575
From MaRDI portal
zbMath0959.68076MaRDI QIDQ4501575
Publication date: 4 September 2000
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
A compositional modelling and verification framework for stochastic hybrid systems, Reverse Hoare Logic