Dang Van Hung, Oleg Sokolsky: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings. Lecture Notes in Computer Science 12302, Springer 2020, ISBN 978-3-030-59151-9