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