Assumption-Based Model Construction Execution Protocol | Assumption-Based Model Construction | Mathematics | NEROS