001895137
100  $a                         y50      
101  $afre
2001 $aMéthodologie devérification formelle pour les circuits cryptographiques :approche fonctionnelle$bressource électronique
210  $aUniversité de Constantine 2 - Abdelhamid Mehri  : Département De L’informatique Fondamentale Et Ses Applications$cUniversité de Constantine 2 - Abdelhamid Mehri 
328 1$cMathématiques et Informatique$eDépartement De L’informatique Fondamentale Et Ses Applications , Université de Constantine 2 - Abdelhamid Mehri 
700  $aBITAT, abir
701  $aArray
801 0$aDZ$bCERIST PNST
901$ac