ABZ 2014: The Landing Gear Case Study

This volume contains proceedings of the Case Study Track, held at the 4th International Conferenc...

Model and Data Engineering

This book constitutes the refereed proceedings of the 4th International Conference on Model and D...

Abstract State Machines, Alloy, B,TLA, VDM, and Z

This book constitutes the thoroughly refereed proceedings of the 4th International Conference on ...

Formal Methods and Software Engineering

This book constitutes the proceedings of the 21st International Conference on Formal Engineering ...

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

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

Theoretical Aspects of Software Engineering

This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects...

Engineering of Complex Computer Systems

This book constitutes of the proceedings from the 28th International Conference on Engineering of...