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

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

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

Plenary Lectures.- Differential Privacy: A Survey of Results.- Special Session Lectures.- On the ...

Veri¿cation and validation.- Software engineering.- Formal speci¿cation and modeling.- Software s...

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 proceedings of the 25th International Conference on Computing and Combi...

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

Civil Engineering and Energy-Environment focuses on the research of civil engineering, environmen...