Luigia Petre

• Formal Methods Teaching
• Dependability and Computer Engineering
• From Action Systems to Distributed Systems
• Integrated Formal Methods