Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings - Hou, Zhe; Ganesh, Vijay (Springer Nature, 2021)
Keywords: Computer logic-Congresses; Computer programming, programs, data