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