Browsing by Author Botha, Heila
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) | |
---|---|---|---|
2018 | Towards model checking android applications | Bai, Guangdong; Ye, Quanqi; Wu, Yongzheng; Botha, Heila; Sun, Jun; Liu, Yang; Dong, Jin Song; Visser, Willem |