Javier Cámara Bücher

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