Search Results - Botha, Heila

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Towards Model Checking Android Applications

    Towards Model Checking Android Applications by Guangdong Bai, Quanqi Ye, Yongzheng Wu, Botha, Heila, Jun Sun, Yang Liu, Jin Song Dong, Visser, Willem

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    StateComparator: Detecting Unbounded Variables Using JPF

    StateComparator: Detecting Unbounded Variables Using JPF by Botha, Heila, van der Merwe, Brink, Visser, Willem, Tkachuk, Oksana

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:

Search Tools: