Assertions in Programming: From Scientific Theory to Engineering Practice

Chi tiết về thư mục
Tác giả chính: Hoare, C
Định dạng: Conference item
Được phát hành: Springer 2002