Sécurité numérique : Les méthodes «formelles» et la sécurité des systèmes et réseaux Par : Autres 26 octobre 2007 La suite de l’article sur : http://www.lapresse.tn/index.php?opt=15&categ=3&news=58999