The Weakest Prespecification

書誌詳細
主要な著者: Hoare, C, He, J
フォーマット: Journal article
出版事項: 1987