home
>
book reviews
> Jean-Louis Lanet
Google >
Jean-Louis Lanet
author : Jean-Louis Lanet
Short works
Are Smart Cards the Ideal Domain for Applying Formal Methods?. 2000.
(In
ZB 2000
)