Path Calculus in Program Verification

  • Authors:

  • Daniel Brand

  • Affiliations:

  • IBM Thomas J Watson Research Center, P O Box 218, Yorktown Heights, NY

  • Venue:
  • Journal of the ACM (JACM)
  • Year:
  • 1978

  • Formal program testing

    POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Quantified Score

Hi-index 0.00

Visualization

Abstract