Libros
Dependable Software Engineering. Theories, Tools, and Applications
2020
Discrete-Time and Discrete-Space Dynamical Systems
2019
Tools and Algorithms for the Construction and Analysis of Systems
2019
Tools and Algorithms for the Construction and Analysis of Systems
2019
In Pursuit of Presence or Prominence?
2018
Automated Technology for Verification and Analysis
2015