The Weakest Prespecification II

書目詳細資料
Main Authors: Hoare, C, He, J
格式: Journal article
出版: 1986