( en | de | ru )

 

Disambiguierung von "Dubois, Catherine"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verified Functional Iterators Using the FoCaLiZe Environment.

, und . SEFM, Volume 8702 von Lecture Notes in Computer Science, Seite 317-331. 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

A Formally Verified Geometric Modelling Core., und . Software Engineering Research and Practice, Seite 643-649. CSREA Press, (2006)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)Introduction., und . Technique et Science Informatiques, 34 (5): 493-494 (2015)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)Spécifications formelles du chanfreinage., , , , , und . Technique et Science Informatiques, 21 (8): 1073-1098 (2002)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)