Publications

2 results for Eva Rose

Lightweight Bytecode Verification
- - Eva Rose
- 2003
- Journal of Automated Reasoning
Java access protection through typing
- - Eva Rose
  - Kristoffer Høgsbro Rose
- 2001
- CCPE

Lightweight Bytecode Verification