Abstraction, Refinement and Proof for Probabilistic Systems by Annabelle McIver, Charles Carroll Morgan.

by McIver, Annabelle, Morgan, Charles Carroll
Published 2005

The science of quantitative information flow Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith.

by Alvim, Mário S., 1982-, Chatzikokolakis, Konstantinos, 1980-, McIver, Annabelle, Morgan, Carroll, 1952-, Palamidessi, Catuscia, Smith, Geoffrey
Published 2020

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings edited by Annabelle McIver, Andras Horvath.

Published 2018

Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings edited by Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov.

Published 2015

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings edited by Maurice H. ter Beek, Annabelle McIver, José N. Oliveira.

Published 2019