The Weakest Prespecification II

Chi tiết về thư mục
Những tác giả chính: Hoare, C, He, J
Định dạng: Journal article
Được phát hành: 1986