Prospects for Program Verification (Tutorial)

James C. King. Prospects for Program Verification (Tutorial). In ICSE. pages 71, 1978.

Abstract

Abstract is missing.