Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings Aldinucci, Marco Heftet / 2018 / Engelsk
Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures Bernardo Marco Heftet / 2009 / Engelsk
