Annabelle McIver profile picture

Annabelle McIver

Is this your author profile? Create an account to customize it!

Stand Alone

Abstraction, refinement and proof for probabilistic systems
Abstraction, Refinement and Proof for Probabilistic Systems
Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Formal Methods – The Next 30 Years