Dominique Mery profile picture

Dominique Mery

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

Stand Alone

Integrated Formal Methods 8th International Conference Ifm 2010 Nancy France October 1114 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
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Communications of NII Shonan Meetings
Formal Methods and Software Engineering