Towards a general framework for formal reasoning about java bytecode transformation

No Thumbnail Available

Files

Towards a General Framework for Formal Reasoning about Java Bytecode Transformation.pdf (27.66 KB)

Date

2013

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Keywords

Formal Reasoning, Java Bytecode

Citation

URI

https://dspace.univ-boumerdes.dz/handle/123456789/2554

Collections

Publications Internationales

Endorsement

Review

Supplemented By

Referenced By