CONCUR 2011 -- Concurrency Theory More Books by Joost-Pieter Katoen & Barbara König

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