Alberto Lluch Lafuente · 4 obras en el catálogoObrasTrustworthy Global ComputingFFormal Methods for Industrial Critical SystemsFormal Methods for Industrial Critical SystemsCCoordination Models and LanguagesCoordination Models and LanguagesIInternet e Web 2.0Internet e Web 2.0