vérification formelle de la plate-forme JavaCard: Outils et techniques (Omn.Univ.Europ.) 69,00 EUR*