The Weakest Prespecification II

Bibliographic Details
Main Authors: Hoare, C, He, J
Format: Journal article
Published: 1986