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

Engineering of Complex Computer Systems

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

Formal Methods and Software Engineering

Model and Data Engineering