Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Léon Gondelman

Mots clés

FR |

EN

Vérification déductive des programmes

Raffinement de données

Système de types

Logiciels -- Vérification