|
 
|
Thérèse Hardin
Publications
2008
- [ACD08] P. Ayrault, M. Carlier, D. Delahaye, C. Dubois, D. Doligez, L. Habib, T. Hardin, M. Jaume, C. Morisset, F. Pessaux, P. Weis. "Trusted Software within FoCaL", CE&SAR 2008, Rennes, décembre, December 2008, pp.142-157,
Conférence Nationale avec comité de lecture
2004
- [DHV04] C. Dubois, T. Hardin, V. Viguie Donzeau-Gouge. "Building certified components within FOCAL", Symposium on Trends in Functional Programming (TFP04), January 2004, Vol. 5, pp.33-48, Series Trends in Functional Programming ,
