Dominique Méry
Dominique Méry
1 books in the database
Books
Co-authored books and collections
Books that list Dominique Méry among their authors but not as the lead author: co-written works, collections and compilations.
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete SystemsYamine Ait-Ameur
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Yamine Ait-Ameur · 2021
Rigorous State-Based MethodsAlexander Raschke
Rigorous State-Based Methods
Alexander Raschke · 2021
Theoretical Aspects of Computing - ICTAC 2014Gabriel Ciobanu
Theoretical Aspects of Computing - ICTAC 2014
Gabriel Ciobanu · 2014