Verification of Android Applications.

Heila van der Merwe

Published in: ICSE (2) (2015)

Keyphrases

model checking
databases
formal verification
data sets
three dimensional
asynchronous circuits
concurrent systems
neural network
information technology
face verification