This book constitutes the refereed proceedings of the 16th International Colloquium on Theoretica...
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and...
This book constitutes the refereed proceedings of the11th International Conference on Software En...
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 IFIP TC6 WG6.1 International Conferenc...
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods ...
This volume contains the proceedings of the 16th IFIP TC6 WG6.1 Inter- tional Conference on Testi...
This book constitutes the refereed proceedings of the11th International Conference on Software En...
This book constitutes the refereed proceedings of the 30 sup thsupIFIP WG 6.1 International C...
This book constitutes the refereed proceedings of the 16th International Colloquium on Theoret...