Towards a general framework for formal reasoning about java bytecode transformation

Simple item page
dc.contributor.authorLounas, Razika
dc.contributor.authorMezghiche, Mohamed
dc.contributor.authorLanet, Jean-Louis
dc.date.accessioned2015-12-23T10:18:43Z
dc.date.available2015-12-23T10:18:43Z
dc.date.issued2013
dc.identifier.urihttps://dspace.univ-boumerdes.dz/handle/123456789/2554
dc.language.isoenen_US
dc.relation.ispartofseriesSymbolic Computation in Software Science (2012);pp. 63–73
dc.subjectFormal Reasoningen_US
dc.subjectJava Bytecodeen_US
dc.titleTowards a general framework for formal reasoning about java bytecode transformationen_US
dc.typeArticleen_US

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
Towards a General Framework for Formal Reasoning about Java Bytecode Transformation.pdf
Size:
27.66 KB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Publications Internationales