Linking Theories in Probabilistic Programming

Bibliografiske detaljer
Main Authors: He, J, Hoare, C
Format: Journal article
Udgivet: 1999