C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
JPF Verification of Habanero Java Programs using Gradual Type Permission Regions.
Peter Anderson
Nick Vrvilo
Eric Mercer
Vivek Sarkar
Published in:
ACM SIGSOFT Softw. Eng. Notes (2015)
Keyphrases
</>
java programs
multi threaded
java language
access control
software components
real time
case study
general purpose