×
  • Combinaison des techniques de Bounded Model Checking et de programmation par contraintes pour l’aide à la localisation d’erreurs : exploration des capacités des CSP pour la localisation d’erreurs

    Mohammed Bekkouche

Click on cover to enlarge.
Buy This Book
From Amazon.
3 - 4Hours to read