- 1
AP
Andrei Paskevich
1
Documents
Identifiants chercheurs
- tertium
- IdRef : 204772567
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
A Toolchain to Produce Verified OCaml Libraries2020
Pré-publication, Document de travail
hal-01783851v2
|