Matthias Volk

Principles of Verification: Cycling the Probabilistic Landscape

2024 · Lecture notes in computer science

Festschrift honoring Joost-Pieter Katoen, a leading researcher, educator, and organizer in the domains of formal methods, verification, and concurrency.