Formal Aspects of Component Software More Books by Silvia Lizeth Tapia Tarifa & José Proença

Theoretical Aspects of Computing – ICTAC 2023 Theoretical Aspects of Computing – ICTAC 2023
Theoretical Aspects of Computing – ICTAC 2023
2023
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2019