Yamine Ait-Ameur profile picture

Yamine Ait-Ameur

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