Dominique Méry

A list of authors with biographies, life dates, and future collections of all their books.

Author's Books

4

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

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

Rigorous State-Based Methods

Rigorous State-Based Methods

Theoretical Aspects of Computing - ICTAC 2014

Theoretical Aspects of Computing - ICTAC 2014

Integrated Formal Methods

Integrated Formal Methods