Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems More Books by Yamine Aït-Ameur, Shin Nakajima & Dominique Méry

Engineering of Complex Computer Systems Engineering of Complex Computer Systems
Engineering of Complex Computer Systems
2024
Theoretical Aspects of Software Engineering Theoretical Aspects of Software Engineering
Theoretical Aspects of Software Engineering
2022
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
2019
Model and Data Engineering Model and Data Engineering
Model and Data Engineering
2016