Unification of Theories: A Challenge for Computing Science

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 1995