Annabelle McIver · 4 obras en el catálogoObrasAbstraction, refinement and proof for probabilistic systemsFormal Methods – The Next 30 YearsThe Science of Quantitative Information FlowQuantitative Evaluation of Systems