|
Second Workshop on Bytecode Semantics,
Verification, Analysis and Transformation
(BYTECODE)
March 31, 2007
- Braga, Portugal
|
|
|
BYTECODE 2007
|
||||
The proceedings will be published on-line in the Electronic Notes in Theoretical Computer Science series |