Alessandro Bogliolo · 2 obras en el catálogoObrasUser-Centric NetworkingFFormal Methods for Mobile ComputingFormal Methods for Mobile Computing