Yamine Ait-Ameur

Books by Yamine Ait-Ameur

Total count: 3

• 
  Formal Methods and Software Engineering21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, ...

  Springer2019-10-06
• 
  Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete SystemsCommunications of NII Shonan Meetings

  Springer2020-07-28
• Engineering of Complex Computer Systems28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings

  Springer2024-01-01