Silvia Lizeth Tapia Tarifa

• Integrated Formal Methods
• Formal Aspects of Component Software
• Theoretical Aspects of Computing - ICTAC 2023