Home > Authors > Dominique Méry

Dominique Méry

All books by Dominique Méry

(Displaying 1 Book)

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

Yamine Ait-Ameur

Looking for another book by Dominique Méry? Search for the book by title.