Yamine Ait-Ameur

Yamine Ait-Ameur

1 books in the database

Books

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete SystemsYamine Ait-Ameur

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

Yamine Ait-Ameur · 2021

Co-authored books and collections

Books that list Yamine Ait-Ameur among their authors but not as the lead author: co-written works, collections and compilations.

Engineering of Complex Computer SystemsGuangdong Bai

Engineering of Complex Computer Systems

Guangdong Bai · 2024