Mariëlle; id_orcid 0000-0001-6793-8165 Stoelinga

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.