Skip to main content

The Weakest Prespecification

C.A.R. Hoare and J. He

Journal
Information Processing Letters
Month
January
Number
2
Pages
127–32
Volume
24
Year
1987