


default search action
Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode)
6th Bytecode@ETAPS 2011: Saarbrücken, Germany
- Pierre Ganty, Mark Marron:

Proceedings of the Sixth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2011, Saarbrücken, Germany, March 27, 2011. Electronic Notes in Theoretical Computer Science 279(1), Elsevier 2011 [contents]
5th Bytecode@ETAPS 2010: Paphos, Cyprus
- David Pichardie:

Proceedings of the Fifth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2010, Paphos, Cyprus, March 27, 2010. Electronic Notes in Theoretical Computer Science 264(4), Elsevier 2011 [contents]
4th Bytecode@ETAPS 2009: York, UK
- Elvira Albert, Samir Genaim:

Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009. Electronic Notes in Theoretical Computer Science 253(5), Elsevier 2009 [contents]
2nd Bytecode@ETAPS 2007: Braga, Portugal
- Marieke Huisman, Fausto Spoto:

Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007. Electronic Notes in Theoretical Computer Science 190(1), Elsevier 2007 [contents]
1st Bytecode@ETAPS 2005: Edinburgh, UK
- Fausto Spoto:

Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005. Electronic Notes in Theoretical Computer Science 141(1), Elsevier 2005 [contents]

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














