title
7th Workshop on Bytecode Semantics, Verification, Analysis and Transformation Bytecode 2012 : Tallinn, Estonia, 31 March 2012 : Proceedings
keywords
bytecode
semantics
verification
analysis
certification
transformation
Java
.NET
publisher
Institute of Cybernetics at Tallinn University of Technology
publishing year
2012
editor
Huisman, Marieke
identifier
https://digikogu.taltech.ee/et/Item/11f9f027-3cf5-4786-8249-859c07acef27
https://doi.org/10.23658/taltech.bytecode/2012
language
eng
rights
http://rightsstatements.org/vocab/InC/1.0/
institution
Institute of Cybernetics at Tallinn University of Technology