👤

Dominique Méry

2 books

Books by Dominique Méry

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
2021
Theoretical Aspects of Computi
Theoretical Aspects of Computing - ICTAC 2014
2014