Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Nicolas Rousset

Mots clés

FR

Preuve de programmes

Applets Java Card

Interprétation Abstraite

Inférence d'annotations

Spécifications algébriques

Audit de sécurité