Yamine Ait-Ameur

No bio available. Add one in Open Library.

Books by Yamine Ait-Ameur (50 max)

+ shelf+ list

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Communications of NII Shonan Meetings

2020

Yamine Ait-Ameur, Shin Nakajima, Dominique Méry

+ shelf+ list

Engineering of Complex Computer Systems 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings

2024

Guangdong Bai, Fuyuki Ishikawa, Yamine Ait-Ameur, George A. Papadopoulos