Formal Aspects of Component Software Formal Aspects of Component Software
2024
Aquel Francisco Aquel Francisco
2021
Software Architecture Software Architecture
2020
Software Engineering and Formal Methods Software Engineering and Formal Methods
2020
Aquel Francisco (Unabridged) Aquel Francisco (Unabridged)
2021
Aquel Francisco Aquel Francisco
2021