Books
Tools and Algorithms for the Construction and Analysis of Systems
2018
Tools and Algorithms for the Construction and Analysis of Systems
2019
Fundamental Approaches to Software Engineering
2024
Verification, Model Checking, and Abstract Interpretation
2020
Tests and Proofs
2019
Tools and Algorithms for the Construction and Analysis of Systems
2018