Publication:4370247
From MaRDI portal
zbMath0885.68032MaRDI QIDQ4370247
Carroll Morgan, Annabelle McIver, Karen Seidel
Publication date: 14 January 1998
68Q60: Specification and verification (program logics, model checking, etc.)
68N01: General topics in the theory of software
Related Items
A Type Theory for Probabilistic and Bayesian Reasoning, Probabilistic may/must testing: retaining probabilities by restricted schedulers