Dominique Méry

No bio available. Add one in Open Library.

Books by Dominique Méry (50 max)

+ shelf+ list

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Communications of NII Shonan Meetings

2020

Yamine Ait-Ameur, Shin Nakajima, Dominique Méry

+ shelf+ list

Rigorous State-Based Methods 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings

2020

Alexander Raschke, Dominique Méry, Frank Houdek

+ shelf+ list

Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

2010

Dominique Méry, Stephan Merz

+ shelf+ list

Theoretical Aspects of Computing - ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings

2014

Gabriel Ciobanu, Dominique Méry