Inferring Program Specifications in Polynomial-Time.

Robert Givan

Browse the full SAS paper archive.