Refactoring certifié de programmes C

par Igor Zhirkov

Projet de thèse en Informatique et applications

Sous la direction de Rémi Douence.

Thèses en préparation à l'Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire , dans le cadre de École doctorale Sciences et technologies de l'information et mathématiques (Nantes) , en partenariat avec Ascola (equipe de recherche) depuis le 30-09-2016 .


  • Pas de résumé en français disponible.


  • Pas de résumé disponible.