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
@proceedings{bytecode-2009,
title = {Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/253/issue/5},
researchr = {https://researchr.org/publication/bytecode-2009},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009},
conference = {bytecode},
editor = {Elvira Albert and Samir Genaim},
volume = {253},
number = {5},
series = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier},
}