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