Uwe Nestmann · 1 obras en el catálogoObrasFFormal Methods for Open Object-Based Distributed SystemsFormal Methods for Open Object-Based Distributed Systems
FFormal Methods for Open Object-Based Distributed SystemsFormal Methods for Open Object-Based Distributed Systems