Boeken
Dependable Software Engineering. Theories, Tools, and Applications
2021
Formal Methods and Hybrid Real-Time Systems
2007
Formal Methods: Foundations and Applications
2009
Domain Modeling and the Duration Calculus
2007
Verified Software: Theories, Tools, Experiments
2008
Verified Software: Theories, Tools, Experiments
2008