Lightweight Modeling of Java Virtual Machine Security Constraints using Alloy

Search

Date:

Dec 24 2008

author:

Mark C. Reynolds

Attachment	Size
jvmalloy4.pdf	104.64 KB

by markreyn

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte