This book constitutes the refereed proceedings of the11th International Conference on Software En...
Implementation of an Open Source Toolset for CCM Components and Systems Testing.- A Multi-service...
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and...
This book constitutes the refereed proceedings of the 30th IFIP WG 6.1 International Conference o...
This book constitutes the refereed proceedings of the 16th International Colloquium on Theoretica...