The Weakest Prespecification II

Bibliografiske detaljer
Main Authors: Hoare, C, He, J
Format: Journal article
Udgivet: 1986