The Weakest Prespecification

Bibliografiska uppgifter
Huvudupphovsmän: Hoare, C, He, J
Materialtyp: Journal article
Publicerad: 1987