‎Dominique Mery profile picture

‎Dominique Mery

Is this your author profile? Create an account to customize it!

Stand Alone

FM 2012: Formal Methods
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems