| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Abstraction, Refinement and Proof for Probabilistic Systems | 978-0-387-40115-7 | 2004 | Charles Carroll Morgan | |
| Formal Methods - The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings | 978-3-030-30941-1 | 2019 | Maurice H. ter Beek · José N. Oliveira | |
| Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings | 978-3-662-48898-0 | 2015 | Martin Davis · Ansgar Fehnker · Andrei Voronkov | |
| Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings | 978-3-319-99153-5 | 2018 | Andras Horvath | |
| The Science of Quantitative Information Flow | 978-3-319-96129-3 | 2020 | Mário S. Alvim · Konstantinos Chatzikokolakis · Carroll Morgan · Catuscia Palamidessi · Geoffrey S. Smith |