Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
HCSS Conference Program Committee (2016)
CPS-VO
»
High Confidence Software and Systems Conference Series
»
HCSS Conference Program Committee (2016)
» ANDROID PLATFORM MODELING AND ANDROID APP VERIFICATION IN THE ACL2 THEOREM PROVER
Android Platform Modeling and Android App Verification in the ACL2 Theorem Prover
View
Properties
Name
Value
MIME type
application/pdf
Size
586.28 KB
