The Weakest Prespecification

Bibliografske podrobnosti
Main Authors: Hoare, C, He, J
Format: Journal article
Izdano: 1987