Vérification automatique pour l'exécution sécurisée de composants Java

L objet ◽

10.3166/obj.14.4.103-127 ◽

2008 ◽

Vol 14 (4) ◽

pp. 103-127

Author(s):

Pierre Parrend ◽

Stéphane Frénot

Download Full-text