Search Results - "Android software Model checking"

Search alternatives:

  • Showing 1 - 1 results of 1
Refine Results
  1. Verifying Android applications using Java PathFinder by Botha, Heila-Marié

    Published 2017
    Subjects: “…Android software -- Model checking…”
    Get full text
    Thesis