Luca Padovani · 2 obras en el catálogoObrasEuro-Par 2018 : Parallel ProcessingFFormal Methods for Web ServicesFormal Methods for Web Services