Joost-Pieter Katoen

Books

Formal Methods Formal Methods
Formal Methods
2023
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
2019
ModelEd, TestEd, TrustEd ModelEd, TestEd, TrustEd
ModelEd, TestEd, TrustEd
2017
CONCUR 2011 -- Concurrency Theory CONCUR 2011 -- Concurrency Theory
CONCUR 2011 -- Concurrency Theory
2011