Skip to main content

Maths Adds Safety to Computer Programs

C. A. R. Hoare

Journal
New Scientist
Month
September 18
Year
1986