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