This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
Continue readingThis book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...
Continue readingThis book contains revised and extended versions of the best papers presented at the 16th International Conference on Information ...
Continue readingThe three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
Continue readingThis book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
Continue readingThis three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Continue readingThis two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Continue readingThis book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Continue reading