View in EDS

Extending Java Pathfinder (JPF) with property classes for verification of Android permission extension framework.

Saved in:
Bibliographic Details
Title: Extending Java Pathfinder (JPF) with property classes for verification of Android permission extension framework.
Authors: Iqbal, Saeed, Shah, Shakir Ullah, Nauman, Mohammad, Amin, Muhammad
Source: 2013 IEEE 3rd International Conference on System Engineering & Technology; 2013, p15-20, 6p
Database: Complementary Index
Be the first to leave a comment!
You must be logged in first