Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops More Books by José Proença, Raul Fervari, Manuel A. Martins, Reinhard Kahle & Graham Pluck

Formal Aspects of Component Software Formal Aspects of Component Software
Formal Aspects of Component Software
2022
Formal Aspects of Component Software Formal Aspects of Component Software
Formal Aspects of Component Software
2017
Coordination Models and Languages Coordination Models and Languages
Coordination Models and Languages
2016