[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 12302 (18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19â23, 2020, Proceedings) ||
Hung, Dang Van, Sokolsky, OlegVolume:
10.1007/97
Year:
2020
DOI:
10.1007/978-3-030-59152-6
File:
PDF, 19.16 MB
2020