Patrizia Scandurra

• Rigorous State-Based Methods
• Software Architecture