Vérification formelle de la plate-forme javacard
-
pokkari
,
Ranska, 2018