Publication | Closed Access
Formalisation and analysis of Dalvik bytecode
40
Citations
15
References
2013
Year
Software SecurityEngineeringProgram AnalysisDalvik BytecodeFormal MethodsSoftware AnalysisComputer EngineeringSoftware EngineeringProgramming Language ImplementationComputer ScienceStatic Program AnalysisFormal VerificationSystem Software
| Year | Citations | |
|---|---|---|
Page 1
Page 1