‎Dominique Mery — Books & Biography | Menrva Books | MenrvaBooks

‎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

Company

Why Menrva Books

Help & Support

Legal & Privacy

© 2026 Menrva Books

All Rights Reserved.