The Weakest Prespecification II

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