%0 Conference Proceedings
%F cjrz01a
%A Clarke, D.
%A Jéron, T.
%A Rusu, V.
%A Zinovieva, E.
%T Automated Test and Oracle Generation for Smart-Card Applications
%B International Conference on Research in Smart Cards (e-Smart'01), Volume 2140 of LNCS
%P 58-70
%U http://www.irisa.fr/vertecs/Publis/Ps/2001-ESMART.ps.gz
%D 2001