Angelo Gargantini

• Abstract State Machines 2003 : Advances in Theory and Practice
• Rigorous State-Based Methods
• Testing Software and Systems
• Tests and Proofs