Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Pierre Crégut

Mots clés

FR |

EN

Preuve déductive

Interprétation abstraite

Méthodes formelles (informatique)

Analyse statique

Assistants de preuve

Datalog (langage de programmation)