Skip to main content

Basic Theorems about Predicate Transformers

C. A. R. Hoare and Andrew P. Black

Month
nov
Note
Typed manuscript
Year
1977