Joseph O. Harrison

Closure of "Approaches to Program Correctness"

Joseph O. Harrison, 1981 .

Approaches to Program Correctness

Joseph O. Harrison, 1978 .

Piecewise polynomial approximation for large-scale digital calculators

Joseph O. Harrison, 1949 .