Dominique Méry

Books by Dominique Méry

Total count: 5

• Integrated Formal Methods8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

  Springer London, Limited2010-01-01
• Theoretical Aspects of Computing - ICTAC 201411th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings

  Springer London, Limited2014-01-01
• 
  Model and Data Engineering8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings

  Springer2018-09-13
• 
  Rigorous State-Based Methods7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings

  Springer2020-05-15
• 
  Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete SystemsCommunications of NII Shonan Meetings

  Springer2020-07-28