Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings

nge Zhe Hou
4/5
Ishicilelwe okokuqala
2021
Abashicileli
Springer International Publishing AG
Ulimi
English

Izincwadi

Izincwadi ezifanayo