Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings McIver Annabelle Heftet / 2018 / Engelsk
Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings Davis Martin Heftet / 2015 / Engelsk
Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings ter Beek, Maurice H. Heftet / 2019 / Engelsk
Abstraction, Refinement and Proof for Probabilistic Systems McIver Annabelle Innbundet / 2004 / Engelsk
