( en | de | ru )

 

Disambiguation of "Dubois, Catherine"

Author of the publication

copydeleteadd this publication to your clipboard
Verified Functional Iterators Using the FoCaLiZe Environment.

, and . SEFM, volume 8702 of Lecture Notes in Computer Science, page 317-331. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Rolf Dubois

Roland Dubois

Andreas Dubois

Hubert Dubois

Katja Dubois

 

Other publications of authors with the same name

Introduction., and . Technique et Science Informatiques, 34 (5): 493-494 (2015)A Formally Verified Geometric Modelling Core., and . Software Engineering Research and Practice, page 643-649. CSREA Press, (2006)Raffinement de modèles topologiques en B événementiel. Des droites aux 2-G-cartes., and . Technique et Science Informatiques, 26 (7): 883-908 (2007)Validation des règles de base de l'Atelier B., , , and . Technique et Science Informatiques, 23 (7): 855-878 (2004)Verified Functional Iterators Using the FoCaLiZe Environment., and . SEFM, volume 8702 of Lecture Notes in Computer Science, page 317-331. Springer, (2014)Development of a Programming Environment for Setl., , , and . ESEC, volume 289 of Lecture Notes in Computer Science, page 21-32. Springer, (1987)Pragmatic Isomorphism Proofs Between Coq Representations: Application to Lambda-Term Families., , and . TYPES, volume 269 of LIPIcs, page 11:1-11:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Spécifications formelles du chanfreinage., , , , , and . Technique et Science Informatiques, 21 (8): 1073-1098 (2002)Certification of a Type Inference Tool for ML: Damas-Milner within Coq., and . J. Autom. Reason., 23 (3-4): 319-346 (1999)A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest., , and . TAP, volume 7305 of Lecture Notes in Computer Science, page 35-50. Springer, (2012)