( en | de | ru )

 

Disambiguation of "Dubois, Catherine"

Author of the publication

copydeleteadd this publication to your clipboard
The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations.

, , , and . ABZ, volume 8477 of Lecture Notes in Computer Science, page 290-293. 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

René 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)Development of a Programming Environment for Setl., , , and . ESEC, volume 289 of Lecture Notes in Computer Science, page 21-32. Springer, (1987)Verified Functional Iterators Using the FoCaLiZe Environment., and . SEFM, volume 8702 of Lecture Notes in Computer Science, page 317-331. Springer, (2014)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)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)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)Extracting Purely Functional Contents from Logical Inductive Types., , and . TPHOLs, volume 4732 of Lecture Notes in Computer Science, page 70-85. Springer, (2007)