This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference o...
Software validation is one of the most cost-intensive tasks in modern software production process...
This volume constitutes the proceedings of the16th International Conference on Theorem Proving in...
This book constitutes the refereed proceedings of the 12th International Conference on Tests and ...
This volume constitutes the proceedings of the16th International Conference on Theorem Proving in...
Software validation is one of the most cost-intensive tasks in modern software production process...
This book constitutes the refereed proceedings of the 12th International Conference on Tests and ...
This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference o...