Skip to main content

The Weakest Prespecification I

C.A.R. Hoare and J. He

Journal
Fundamenta Informaticae
Month
March
Number
1
Pages
51–84
Volume
9
Year
1986