Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007 - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marieke Huisman, Fausto Spoto, editors, Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007. Volume 190 of Electronic Notes in Theoretical Computer Science, Elsevier, 2007. [doi]

Conference: bytecode2007

This author has not been identified. Look up 'Marieke Huisman' in GoogleThis author has not been identified. Look up 'Fausto Spoto' in Google

runs on WebDSL