( en | de | ru )

 

Disambiguierung von "Dubois, Catherine"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations.

, , , und . ABZ, Volume 8477 von Lecture Notes in Computer Science, Seite 290-293. Springer, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Rolf Dubois

Roland Dubois

Andreas Dubois

Hubert Dubois

Katja Dubois

 

Weitere Publikationen von Autoren mit dem selben Namen

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