Linking Theories in Probabilistic Programming

Dades bibliogràfiques
Autors principals: He, J, Hoare, C
Format: Journal article
Publicat: 1999