| 1 | -- | 25 | Hichem Debbi. A Debugging Game for Probabilistic Models |
| 1 | -- | 22 | Samuel Coward, Lawrence C. Paulson, Theo Drane, Emiliano Morini. Formal Verification of Transcendental Fixed- and Floating-point Algorithms using an Automatic Theorem Prover |
| 1 | -- | 2 | Greg Michaelson. By Flemming Nielson and Hanne Riis Nielson Springer, 2019, ISBN 978-3-030-05155-6, https: //link.springer.com/book/10.1007/978-3-030-05156-3, pp. 1-160 |
| 1 | -- | 3 | Diego Marmsoler. By Rosario Giustolisi Springer, Cham, 2018, X, 133 pp, ISBN: 9783319671062 (Hardback, £89.99), ISBN: 9783030097899 (Paperback, £64.99), ISBN: 9783319671079 (eBook, £51.99) |
| 1 | -- | 3 | Reinhard Wilhelm. By Patrick Cousot MIT Press, 2021, ISBN 9780262044905, pp. 1-819. Reviewed by Reinhard Wilhelm |
| 1 | -- | 27 | Blair Archibald, Muffy Calder, Michele Sevegnani. Probabilistic Bigraphs |
| 1 | -- | 31 | Cheng-Hao Cai, Jing Sun 0002, Gillian Dobbie, Zhé Hóu, Hadrien Bride, Jin Song Dong, Scott Uk-Jin Lee. Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring |