Skip to Main content Skip to Navigation
Conference papers

Deductive Verification of OCaml Libraries

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-02406253
Contributor : Jean-Christophe Filliâtre <>
Submitted on : Thursday, December 12, 2019 - 9:06:24 AM
Last modification on : Thursday, July 8, 2021 - 3:49:51 AM

Identifiers

  • HAL Id : hal-02406253, version 1

Citation

Jean-Christophe Filliâtre. Deductive Verification of OCaml Libraries. iFM 2019 - International Conference on integrated Formal Methods, Dec 2019, Bergen, Norway. ⟨hal-02406253⟩

Share

Metrics

Record views

55