Books by Annabelle McIver
Total count: 6
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)Springer2004-11-19
Logic for Programming, Artificial Intelligence, and Reasoning20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, ProceedingsSpringer2015-12-03
Quantitative Evaluation of Systems15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, ProceedingsSpringer2018-08-15
Formal Methods – The Next 30 YearsThird World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, ProceedingsSpringer2019-09-15
The Science of Quantitative Information FlowSpringer2020-09-21