Yamine Ait-Ameur · 2 obras en el catálogoObrasImplicit and Explicit Semantics Integration in Proof-Based Developments of Discrete SystemsEEngineering of Complex Computer SystemsEngineering of Complex Computer Systems