Prospects for Program Verification (Tutorial)

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

No reviews for this publication, yet.