Méthodologie de développement d'un outil d'évaluation de la sureté du logiciel, en langage OCaml

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01572558
Contributor : Lip6 Publications <>
Submitted on : Monday, August 7, 2017 - 4:58:29 PM
Last modification on : Thursday, March 21, 2019 - 1:09:36 PM

Identifiers

  • HAL Id : hal-01572558, version 1

Citation

Philippe Ayrault, Maxence Guesdon, Thérèse Hardin. Méthodologie de développement d'un outil d'évaluation de la sureté du logiciel, en langage OCaml. Journées Francophones des Langages Applicatifs, Jan 2000, Mont Saint-Michel, France. pp.159-171. ⟨hal-01572558⟩

Share

Metrics

Record views

51