Vérification formelle de la plate-forme javacard
-
pocket
,
Fransk, 2018