Discussion of Approaches to Program Correctness by Joseph O. Harrison Jr.
See related content
by Theodore K. Chaplin, (F.ASCE), Sr. Lect.; Dept. of Civ. Engrg., Univ. of Birmingham, Birmingham, England,
Serial Information: Journal of the Technical Councils of ASCE, 1979, Vol. 105, Issue 2, Pg. 469
Document Type: Discussion & Closure
Services: Buy this book/Buy this article
Return to search