Readfeed

Alan Paul French

1946

  • From formal specifications to integer programsFrom formal specifications to integer programs