Catherine Dubois · 3 obras en el catálogoObrasTests and ProofsFFormal Methods TeachingFormal Methods TeachingIIntelligent Computer MathematicsIntelligent Computer Mathematics