Dominique Méry
Identifiers
- Open LibraryOL7932295A
Books by Dominique Méry
Total count: 5
-
Integrated Formal Methods8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, ProceedingsSpringer London, Limited2010-01-01
-
Theoretical Aspects of Computing - ICTAC 201411th International Colloquium, Bucharest, Romania, September 17-19, 2014. ProceedingsSpringer London, Limited2014-01-01
Model and Data Engineering8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, ProceedingsSpringer2018-09-13
Rigorous State-Based Methods7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, ProceedingsSpringer2020-05-15
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete SystemsCommunications of NII Shonan MeetingsSpringer2020-07-28