University of Oxford Department of Computer Science

Note about predicate transformers

C. A. R. Hoare

Note

Handwritten note to Oege de Moor‚ Clare Martin‚ Paul Gardiner‚ Carroll Morgan‚ undated

Links

See Also

Tony Hoare

Back to Top