dominique mery

New Trends in Model and Data Engineering

This book constitutes the thoroughly refereed papers of the workshops held at the 8th Internation...

Integrated Formal Methods

FM 2012: Formal Methods

This book constitutes the refereed proceedings of the 18th International Symposium on Formal Meth...

Model and Data Engineering

This book constitutes the refereed proceedings of the 8h International Conference on Model and Da...

Theoretical Aspects of Computing - ICTAC 2014

This book constitutes the refereed proceedings of the 11th International Colloquium on Theoretica...

Rigorous State-Based Methods

This book constitutes the refereed proceedings of the 7th International Conference on Rigorous St...

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

This book addresses mechanisms for reducing model heterogeneity induced by the absence of explici...

Rigorous State-Based Methods

This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based...

Rigorous State-Based Methods

This book constitutes the refereed proceedings of the 9th International Conference on Rigorous St...

Formal Methods and Software Engineering

This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on F...

Theoretical Aspects of Computing - ICTAC 2014

This book constitutes the refereed proceedings of the 11th International Colloquium on Theoretica...

Model and Data Engineering

This book constitutes the refereed proceedings of the 8h International Conference on Model and Da...