Yamine Aït-Ameur profile picture

Yamine Aït-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