1.
|
Java bytecode obfuscation Batchelder, Michael Robert
|
2.
|
Dynamic purity analysis for Java programs Xu, HaiYing
|
3.
|
Hydrogeochemistry of the upper Banyu Pahit River valley, Kawah Ijen volcano, Indonesia Palmer, Stephanie
|
4.
|
Verifying finite-state properties of large-scale programs Bodden, Eric
|