Linking Theories in Probabilistic Programming

Bibliographische Detailangaben
Hauptverfasser: He, J, Hoare, C
Format: Journal article
Veröffentlicht: 1999