Skip to main content

C. A. R. Hoare

How Published
Letter to Niklaus Wirth about a draft of ‘An Axiomatic Definition of PASCAL'
Month
September 28
Year
1971