Andrei Paskevich

Documents

Identifiants chercheurs

Présentation

jean-christophe-filliatre

claudio-belo-lourenco

	A Toolchain to Produce Verified OCaml Libraries Jean-Christophe Filliâtre , Léon Gondelman , Cláudio Lourenço , Andrei Paskevich , Mário Pereira 2020 Pré-publication, Document de travail hal-01783851v2