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