Dominique Méry · 4 obras en el catálogoObrasIntegrated Formal MethodsImplicit and Explicit Semantics Integration in Proof-Based Developments of Discrete SystemsRigorous State-Based MethodsTTheoretical Aspects of Computing - ICTAC 2014Theoretical Aspects of Computing - ICTAC 2014