Building certified components within FOCAL

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01520668
Contributor : Lip6 Publications <>
Submitted on : Wednesday, May 10, 2017 - 5:02:02 PM
Last modification on : Thursday, March 21, 2019 - 2:32:43 PM

Identifiers

  • HAL Id : hal-01520668, version 1

Citation

Catherine Dubois, Thérèse Hardin, Véronique Viguie Donzeau Gouge. Building certified components within FOCAL. TFP 2004 - 5th Symposium on Trends in Functional Programming, Nov 2004, Munich, Germany. pp.33-48. ⟨hal-01520668⟩

Share

Metrics

Record views

46