Andrei Paskevich

Documents

Identifiants chercheurs

Présentation

jean-christophe-filliatre

"mario-jose-parreira-pereira"

	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