Toggle navigation
Search
Collections
Indexes
FAQ
Digikogu
Search
Collections
Indexes
FAQ
Intranet
Logi sisse
title
7
th
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
Download
pdf
1,55 MB