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