001022344
100  $a                         y50      
101  $afre
2001 $aIntégration des techniques formelles dans les méthodes semi-formelles$bressource électronique
210  $aUniversité Mohamed Boudiaf des Sciences et de la Technologie - Mohamed Boudiaf d'Oran : Département d'Informatique$cUniversité Mohamed Boudiaf des Sciences et de la Technologie - Mohamed Boudiaf d'Oran
328 1$bMagister$cInformatique$eDépartement d'Informatique , Université Mohamed Boudiaf des Sciences et de la Technologie - Mohamed Boudiaf d'Oran
700  $aMAMI, Mohamed Amine
701  $aArray
801 0$aDZ$bCERIST PNST
901$ac