home
>
book reviews
> J. Desharnais
Google >
J. Desharnais
author : J. Desharnais
Short works
Secure self-certified code for Java. 2003.
(In
Formal Aspects of Security
)