Angelo Gargantini
Angelo Gargantini
Books
Co-authored books and collections
Books that list Angelo Gargantini among their authors but not as the lead author: co-written works, collections and compilations.
Rigorous State-Based MethodsSilvia Bonfanti
Rigorous State-Based Methods
Silvia Bonfanti · 2024
Testing Software and SystemsSilvia Bonfanti
Testing Software and Systems
Silvia Bonfanti · 2023
Tests and ProofsGordon Fraser
Tests and Proofs
Gordon Fraser · 2010
Abstract State Machines 2003 : Advances in Theory and PracticeEgon Börger
Abstract State Machines 2003 : Advances in Theory and Practice
Egon Börger · 2003