*Result*: Extracting Permission-Based Specifications from a Sequential Java Program

Title:
Extracting Permission-Based Specifications from a Sequential Java Program
Source:
2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) ICECCS Engineering of Complex Computer Systems (ICECCS), 2016 21st International Conference on. :215-218 Nov, 2016
Relation:
2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS)
Database:
IEEE Xplore Digital Library