Méthodologie de Résolution des Problèmes - 2015   Spécification et Modélisation Formelle - 15   Sémantique formelle des langages de programmation - 2015   Spécification et modélisation formelle - 2016   Sémantique formelle des langages - 2016   Méthodologie de résolution des problèmes - 2016   Outils de vérification formelle - 2016   Outils de vérification formelle - 2017   Sémantique formelle - 2017   Spécification et modélisation formelle - 2017   Méthodes de résolution des problèmes - 2017   Outils de vérification formelle 2018   Sémantique formelle des langages 2018   Méthodes de résolution des problèmes 2018   Spécification et modélisation formelle 2018   Méthodes de résolution des problèmes - 2019   Outils de vérification formelle - 2018/2019   Sémantique formelle des langages - 2018/2019   Spécification et modélisation formelle - 2019   Outils de vérification formelle 2019/2020

Université Badji Mokhtar, Annaba (UBMA)