In any serious engineering discipline, it would be unthinkable to construct a large system withou...

This book constitutes revised selected papers from the Third International Workshop on Structured...

This book constitutes the thoroughly refereed post-conference proceedings of the Second Internati...

Modeling and Specification.- Testing and Debugging.- Model Checking and Verification.- Algorithm ...

This book constitutes the refereed proceedings of the 18th InternationalConference on Formal En...

This book constitutes revised selected papers from the 6th International Workshop on Structures O...

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International ...

This book constitutes the thoroughly refereed workshop proceedings of the 7th International Works...

Programming and testing.- Verification and validation.- Semantics.- Blockchain.

This book constitutes the thoroughly refereed workshop proceedings of the 9th International Works...

Model Checking & Markov Decision Process.- Formal Derivation and Verification of Critical Path Al...

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