Nicolas Peltier

• Automated Model Building
• Automated Reasoning