Deductive Verification of OCaml Libraries - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Deductive Verification of OCaml Libraries

Domaines

Informatique [cs]

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 mars 2024-16:54:05

Fichier non déposé

Dates et versions

hal-02406253 , version 1 (12-12-2019)

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UMR8623 CENTRALESUPELEC INRIA2 LRI-VALS UNIV-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF
51 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More