Silvia Lizeth Tapia Tarifa

Silvia Lizeth Tapia Tarifa

1 books in the database

Books

Formal Aspects of Component SoftwareSilvia Lizeth Tapia Tarifa

Formal Aspects of Component Software

Silvia Lizeth Tapia Tarifa · 2022

Co-authored books and collections

Books that list Silvia Lizeth Tapia Tarifa among their authors but not as the lead author: co-written works, collections and compilations.

Theoretical Aspects of Computing - ICTAC 2023Erika Ábrahám

Theoretical Aspects of Computing - ICTAC 2023

Erika Ábrahám · 2023

Integrated Formal MethodsWolfgang Ahrendt

Integrated Formal Methods

Wolfgang Ahrendt · 2019