Theoretical Aspects of Software Engineering More Books by Yamine Aït-Ameur & Florin Crăciun

Engineering of Complex Computer Systems Engineering of Complex Computer Systems
2024
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
2020
Formal Methods and Software Engineering Formal Methods and Software Engineering
2019
Model and Data Engineering Model and Data Engineering
2016