Formal Aspects of Component Software More Books by José Proença & Markus Lumpe

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
2025
Formal Aspects of Component Software Formal Aspects of Component Software
Formal Aspects of Component Software
2022
Coordination Models and Languages Coordination Models and Languages
Coordination Models and Languages
2016