The Weakest Prespecification II

Manylion Llyfryddiaeth
Prif Awduron: Hoare, C, He, J
Fformat: Journal article
Cyhoeddwyd: 1986