Ce projet de recherche doctorale est publié a été réalisé par Catherine Dubois

Description d'un projet de recherche doctoral

Abstraction et raffinement de modèles mémoires dédiés à la preuve de programmes C

Mots clés :

Résumé du projet de recherche (Langue 1)

Abstraction et raffinement de modèles mémoires dédiés à la preuve de programmes C