👤

Annabelle McIver

3 books

Books by Annabelle McIver

The Science of Quantitative Information Flow
The Science of Quantitative Information Flow
2020
Formal Methods – The Next 30 Years
Formal Methods – The Next 30 Years
2019
Abstraction, refinement and proof for probabilistic systems
Abstraction, refinement and proof for probabilistic systems
2004