Annabelle McIver

الكتب
Formal Methods – The Next 30 Years Formal Methods – The Next 30 Years
Formal Methods – The Next 30 Years
٢٠١٩
Quantitative Evaluation of Systems Quantitative Evaluation of Systems
Quantitative Evaluation of Systems
٢٠١٨
Logic for Programming, Artificial Intelligence, and Reasoning Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning
٢٠١٥
Abstraction, Refinement and Proof for Probabilistic Systems Abstraction, Refinement and Proof for Probabilistic Systems
Abstraction, Refinement and Proof for Probabilistic Systems
٢٠٠٦