Skip to main content

The Weakest Prespecification II

C.A.R. Hoare and J. He

Journal
Fundamenta Informaticae
Pages
217–252
Volume
9
Year
1986