Fundamental Approaches to Software Engineering

This book constitutes the proceedings of the 20...

Integrated Formal Methods

This bookconstitutes the refereed proceedings o...

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

This book constitutes the refereed post-proceed...

Formal Methods

This book constitutes the refereed proceedings ...

Formal Methods for Industrial Critical Systems

This book constitutes the proceedings of the 27...

Concise Guide to Software Verification

Ever since the beginnings of the development of...

Formal Techniques for Distributed Objects, Components, and Systems

This book constitutes the refereed proceedings ...

Tests and Proofs

¿This book constitutes the proceedings of the 1...

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

This volume contains a selection of refereed pa...

Tools and Algorithms for the Construction and Analysis of Systems

This book is Open Access under a CC BY licence....

Tools and Algorithms for the Construction and Analysis of Systems

This book is Open Access under a CC BY licence....