Prespecification in Data Refinement

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