Linking Theories in Probabilistic Programming

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