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

Pierre Parrend, Stéphane Frénot. Vérification automatique pour l exécution sécurisée de composants Java. L OBJET, 14(4):103-127, 2008. [doi]

Abstract

Abstract is missing.