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