Communication Dans Un Congrès
Année : 2019
Jean-Christophe Filliâtre : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02406253
Soumis le : jeudi 12 décembre 2019-09:06:24
Dernière modification le : jeudi 28 novembre 2024-15:42:02
Dates et versions
Identifiants
- HAL Id : hal-02406253 , version 1
Citer
Jean-Christophe Filliâtre. Deductive Verification of OCaml Libraries. iFM 2019 - International Conference on integrated Formal Methods, Dec 2019, Bergen, Norway. ⟨hal-02406253⟩
Collections
65
Consultations
0
Téléchargements