The Science of Quantitative Information FlowMário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith · First published 2020Open the Tome
Formal Methods – The Next 30 YearsMaurice H. ter Beek, Annabelle McIver, José N. Oliveira · First published 2019Open the Tome
Quantitative Evaluation of SystemsAnnabelle McIver, Andras Horvath · First published 2018Open the Tome
Abstraction, refinement and proof for probabilistic systemsAnnabelle McIver, Charles C. Morgan · First published 2004Open the Tome
