Thèse nationale
Certified algorithms for program slicing
Certified algorithms for program slicing
Université Ibn Khaldoun
Date de soutenance: 29-04-2020
Encadrant
DEROUICH Abderrahmane