Annabelle McIver

2 books • 3 series

Nov 1, 2020
Cover of The Science of Quantitative Information Flow

The Science of Quantitative Information Flow (Information Security and Cryptography)

Nov 19, 2004
Cover of Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems (Lecture Notes in Control and Information Sciences) (Monographs in Computer Science)