Rigorous State-Based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings

Tests and Proofs: 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings

Abstract State Machines 2003: Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings