Formal Methods for Industrial Critical Systems 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings Lluch Lafuente Alberto Heftet / 2021 / Engelsk
Trustworthy Global Computing 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers Abadi, Martín Heftet / 2014 / Engelsk
Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings Lluch Lafuente Alberto Heftet / 2016 / Engelsk
