Searching for "Object Oriented Verification Kernels for Secure Java Applications." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Object Oriented Verification Kernels for Secure Java Applications
by Holger Gr, Kurt Stenzel, Wolfgang Reif
…Object Oriented Verification Kernels for Secure Java Applications Holger Grandy, Kurt Stenzel…
Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB