Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009

Elvira Albert, Samir Genaim, editors, Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009. Volume 253 of Electronic Notes in Theoretical Computer Science, Elsevier, 2009. [doi]

Conference: bytecode2009

Editors

Elvira Albert

This author has not been identified. Look up 'Elvira Albert' in Google

Samir Genaim

This author has not been identified. It may be one of the following persons: Look up 'Samir Genaim' in Google