author : Jean-Louis Lanet

Short works

• Are Smart Cards the Ideal Domain for Applying Formal Methods?. 2000. (In ZB 2000 )