Open menu
Alan Paul French
1946
From formal specifications to integer programs