Development Life-cycle of Critical Software Under FoCaL, Electronic Notes in Theoretical Computer Science, vol.243, pp.15-31, 2009. ,
DOI : 10.1016/j.entcs.2009.07.003
URL : https://hal.archives-ouvertes.fr/hal-01195843
Development of a Generic Voter under FoCal, TAP'09, pp.10-26, 2009. ,
DOI : 10.1017/CBO9780511624162
URL : https://hal.archives-ouvertes.fr/hal-01241361
Spécification d'un environnement dédiédédié`dédiéà la programmation certifiée de bibliothèques de Calcul Formel, Thèse de doctorat, 2000. ,
On the way to certify Computer Algebra Systems, Proceedings of the Calculemus workshop of FLOC'99, pp.10-1016, 1999. ,
DOI : 10.1016/S1571-0661(05)80609-7
Lambda lifting: Transforming programs to recursive equations, 1985. ,
DOI : 10.1007/3-540-15975-4_37
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.4346
How to Write a Proof, The American Mathematical Monthly, vol.102, issue.7, 1993. ,
DOI : 10.2307/2974556
Conception et Implantation du langage FoC pour le développement de logiciels certifiés, 2003. ,
Algorithms and Proof Inheritance in the Foc language, Journal of Automated Reasoning, vol.29, issue.3/4, pp.337-36310, 2002. ,
DOI : 10.1023/A:1021979218446
Making Proofs in a hierarchy of Mathematical Structures, Proceedings of the 11 th Calculemus Symposium, 2003. ,
Algebraic Structures and Dependent Records InSofì ene Tahar César Muñoz & Víctor Carre eo, Proceedings of TPHOLs 02, 2002. ,
DOI : 10.1007/3-540-45685-6_20
Functional safety of electrical/electronic/programmable electronic safety-related systems, International Electrotechnical Commission, 1998. ,