Towards a general framework for formal reasoning about java bytecode transformation

Lounas, RazikaMezghiche, MohamedLanet, Jean-Louis2015-12-232015-12-232013https://dspace.univ-boumerdes.dz/handle/123456789/2554enFormal ReasoningJava BytecodeTowards a general framework for formal reasoning about java bytecode transformationArticle