Dominique Méry profile picture

Dominique Méry

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

Stand Alone

Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Communications of NII Shonan Meetings
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Communications of NII Shonan Meetings
Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings