Angelo Gargantini

Books
Rigorous State-Based Methods Rigorous State-Based Methods
Rigorous State-Based Methods
2024
Testing Software and Systems Testing Software and Systems
Testing Software and Systems
2023
Tests and Proofs Tests and Proofs
Tests and Proofs
2010