Linking Theories in Probabilistic Programming

Détails bibliographiques
Auteurs principaux: He, J, Hoare, C
Format: Journal article
Publié: 1999