Browsing by Author Visser, Willem

Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)
 2018Towards model checking android applicationsBai, Guangdong; Ye, Quanqi; Wu, Yongzheng; Botha, Heila; Sun, Jun; Liu, Yang; Dong, Jin Song; Visser, Willem