Catherine Dubois

• Tests and Proofs
• Formal Methods Teaching
• Intelligent Computer Mathematics