Catherine Dubois

Catherine Dubois

3 books in the database

Books

Tests and ProofsCatherine Dubois

Tests and Proofs

Catherine Dubois · 2009

Formal Methods TeachingCatherine Dubois

Formal Methods Teaching

Catherine Dubois · 2023

Intelligent Computer MathematicsCatherine Dubois

Intelligent Computer Mathematics

Catherine Dubois · 2023