Knowledge Tree

researcher / Jean-Christophe Filliâtre

Jean-Christophe Filliâtre

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Thesis:

Preuve de programmes imperatifs en theorie des types

Directed Thesis:

Tools and Techniques for the Verification of Modular Stateful Code

Un système de types pragmatique pour la vérification déductive des programmes

Logique de séparation et vérification déductive

Spécification et preuve de programmes d'ordre supérieur