Showing 1 - 1 results of 1 for search 'Botha, Heila', query time: 0.02s Refine Results
  1. 1
    Towards model checking android applications

    Towards model checking android applications by Bai, Guangdong, Ye, Quanqi, Wu, Yongzheng, Botha, Heila, Sun, Jun, Liu, Yang, Dong, Jin Song, Visser, Willem

    Published 2020
    Get full text
    Journal Article

Search Tools: