marieke huisman

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

Fundamental Approaches to Software Engineering

This book constitutes the proceedings of the 20th International Conference on Fundamental Approac...

Integrated Formal Methods

This bookconstitutes the refereed proceedings of the 12th International Conference on IntegratedF...

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

This book constitutes the refereed post-proceedings of the Second International Workshop on Const...

Formal Methods

This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, ...

Formal Methods for Industrial Critical Systems

This book constitutes the proceedings of the 27th International Conference on Formal Methods for ...

Concise Guide to Software Verification

Ever since the beginnings of the development of software, researchers have been thinking about ho...

Formal Techniques for Distributed Objects, Components, and Systems

This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference o...

Tests and Proofs

¿This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, ...

Integrated Formal Methods

This bookconstitutes the refereed proceedings of the 12th International Conference on Integrat...

Fundamental Approaches to Software Engineering

This book constitutes the proceedings of the 20th International Conference on Fundamental Approac...

Tools and Algorithms for the Construction and Analysis of Systems

This book is Open Access under a CC BY licence.The LNCS 10805 and 10806 proceedings set...