1 - A. OURGHANLIAN Les outils d analyse sémantique de code Club SEE « Systèmes Informatiques de Confiance ». Le 31/01/02 Utilisation des outils d analyse.