home
>
book reviews
> Frederic Oehl
Google >
Frederic Oehl
author : Frederic Oehl
Short works
Automatic approximation for the verification of cryptographic protocols. 2003.
(In
Formal Aspects of Security
)