TTP: A case study in combining induction and data independence

Chi tiết về thư mục
Những tác giả chính: Roscoe, A, Creese, S
Định dạng: Report
Được phát hành: Oxford University Computing Laboratory 1999