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