Model and Data Engineering

This book constitutes the refereed proceedings ...

Theoretical Aspects of Computing - ICTAC 2014

This book constitutes the refereed proceedings ...

New Trends in Model and Data Engineering

This book constitutes the thoroughly refereed p...

Integrated Formal Methods

FM 2012: Formal Methods

This book constitutes the refereed proceedings ...

Rigorous State-Based Methods

This book constitutes the refereed proceedings ...

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

This book addresses mechanisms for reducing mod...

Rigorous State-Based Methods

This book constitutes the proceedings of the 8t...

Rigorous State-Based Methods

This book constitutes the refereed proceedings ...

New Trends in Model and Data Engineering

This book constitutes the thoroughly refereed p...

Integrated Formal Methods

ThisvolumecontainstheproceedingsofIFM2010,the8t...

Theoretical Aspects of Computing ¿ ICTAC 2014

This book constitutes the refereed proceedings ...