Boumassata, Meriem (2012) Vérification de code pour plates-formes embarqués. Magister thesis, Université de Batna 2.