Vérification formelle des propriétés de sécurité des logiciels
Mohand Oussaïd Linda,
Vérification formelle des propriétés de sécurité des logiciels.
Colloque international sur l’optimisation et les systèmes d’information (COSI) 12-14 juin 2005 Bejaia