Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

CONCURRENCY
2004

favoriteEmaildiscussreport

89views more CONCURRENCY 2004»

Simple verification technique for complex Java bytecode subroutines

13 years 4 months ago

Simple verification technique for complex Java bytecode subroutines

Download www.kestrel.edu

Alessandro Coglio

Real-time Traffic

CONCURRENCY 2004 |

claim paper

Related Content

» Computing Stack Maps with Interfaces

» Verification of Java Bytecode using Analysis and Transformation of Logic Programs

» Integrated Reasoning and Proof Choice Point Selection in the Jahob System Mechanisms for ...

» Typed Memory Management in a Calculus of Capabilities

Post Info
More Details (n/a)

Added	17 Dec 2010
Updated	17 Dec 2010
Type	Journal
Year	2004
Where	CONCURRENCY
Authors	Alessandro Coglio

Comments (0)