Abstraction, refinement and proof for probabilistic systems

Annabelle McIver, Carroll Morgan

Research output: Book/ReportBookpeer-review

Fingerprint

Dive into the research topics of 'Abstraction, refinement and proof for probabilistic systems'. Together they form a unique fingerprint.

Engineering & Materials Science