Linking Theories in Probabilistic Programming

Detaylı Bibliyografya
Asıl Yazarlar: He, J, Hoare, C
Materyal Türü: Journal article
Baskı/Yayın Bilgisi: 1999