Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 1999
Hartel, P.H. and Butler, M.J. and Levy, M.
(1999)
The Operational Semantics of a Java Secure Processor.
In:
Formal Syntax and Semantics of Java.
Springer-Verlag, Berlin, pp. 313-352.
ISBN 3-540-66158-1
This list was generated on Thu May 24 05:22:04 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||