Catherine Dubois, Thérèse Hardin, Véronique Donzeau-Gouge. Building certified components within FOCAL. In Hans-Wolfgang Loidl, editor, Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, TFP 2004, München, Germany, 25-26 November 2004. Volume 5 of Trends in Functional Programming, pages 33-48, Intellect, 2004.
@inproceedings{DuboisHD04,
title = {Building certified components within FOCAL},
author = {Catherine Dubois and Thérèse Hardin and Véronique Donzeau-Gouge},
year = {2004},
researchr = {https://researchr.org/publication/DuboisHD04},
cites = {0},
citedby = {0},
pages = {33-48},
booktitle = {Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, TFP 2004, München, Germany, 25-26 November 2004},
editor = {Hans-Wolfgang Loidl},
volume = {5},
series = {Trends in Functional Programming},
publisher = {Intellect},
isbn = {1-84150-144-1},
}