pealkiri
7th Workshop on Bytecode Semantics, Verification, Analysis and Transformation Bytecode 2012 : Tallinn, Estonia, 31 March 2012 : Proceedings
märksõnad
bytecode
semantics
verification
analysis
certification
transformation
Java
.NET
väljaandja
Institute of Cybernetics at Tallinn University of Technology
ilmumisaasta
2012
koostaja
Huisman, Marieke
identifikaator
https://digikogu.taltech.ee/et/Item/11f9f027-3cf5-4786-8249-859c07acef27
https://doi.org/10.23658/taltech.bytecode/2012
keel
eng
õigused
http://rightsstatements.org/vocab/InC/1.0/
asutus
Institute of Cybernetics at Tallinn University of Technology