Angelo Gargantini
Identifiers
- Open LibraryOL10228350A
Books by Angelo Gargantini
Total count: 4
-
Abstract State Machines 2003 : Advances in Theory and Practice10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. ProceedingsSpringer London, Limited2003-01-01
-
Tests and Proofs4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, ProceedingsSpringer London, Limited2010-01-01
-
Testing Software and Systems35th IFIP WG 6. 1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, ProceedingsSpringer2023-01-01
-
Rigorous State-Based Methods10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, ProceedingsSpringer2024-01-01