Osiris : a Separation Logic Verification Framework for OCaml

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

FR

Auteur / Autrice :	Remy Seassau
Direction :	Francois Pottier
Type :	Projet de thèse
Discipline(s) :	Informatique
Date :	Inscription en doctorat le 19/11/2023
Etablissement(s) :	Université Paris Cité
Ecole(s) doctorale(s) :	386 - SCIENCES MATHEMATIQUES DE PARIS CENTRE
Partenaire(s) de recherche :	Equipe de recherche : Recherches en informatique et automatique

FR |

EN