Silvia Bonfanti

• Rigorous State-Based Methods
• Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium
• Testing Software and Systems