Yamine Ait-Ameur profile picture

Yamine Ait-Ameur

Is this your author profile? Create an account to customize it!

Stand Alone

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Communications of NII Shonan Meetings
Engineering of Complex Computer Systems 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19–21, 2024, Proceedings
Engineering of Complex Computer Systems
Theoretical Aspects of Software Engineering
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Communications of NII Shonan Meetings