Linking Theories in Probabilistic Programming

Opis bibliograficzny
Główni autorzy: He, J, Hoare, C
Format: Journal article
Wydane: 1999