Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Romain Bardou

Mots clés

FR |

EN

Langage de programmation

Vérification déductive

Alias de pointeurs

Modèle mémoire

Logiciels -- Vérification

Programmation impérative (informatique)

Théorie des types