Skip to main content

Specifications‚ Programs and Implementations

C.A.R. Hoare

Institution
Programming Research Group‚ Oxford University
Month
June
Number
PRG−29‚ ISBN 0−902928−17−1
Year
1982