ISBN 3030591514 books & textbook

Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings (Programming and Software Engineering)

Hung, Dang Van Sokolsky, Oleg

Springer /2020-10-12 Paperback / 588 Pages
isbn-10: 3030591514 / isbn-13: 9783030591519