che-chandler.de

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...

Model and Data Engineering

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

Formal Methods and Software Engineering

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

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

Rigorous State-Based Methods

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

Rigorous State-Based Methods

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

FM 2012: Formal Methods

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