Alberto Lluch Lafuente

Books

Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2021
Coordination Models and Languages Coordination Models and Languages
Coordination Models and Languages
2016
Trustworthy Global Computing Trustworthy Global Computing
Trustworthy Global Computing
2014