Accession Number:

ADA091062

Title:

Programming and Proving Correctness of the Scanning Algorithm with Backtrack,

Descriptive Note:

Corporate Author:

FOREIGN TECHNOLOGY DIV WRIGHT-PATTERSON AFB OH

Personal Author(s):

Report Date:

1980-09-19

Pagination or Media Count:

14.0

Abstract:

Subject Categories:

  • Theoretical Mathematics
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE