Linking Theories in Probabilistic Programming

Bibliografische gegevens
Hoofdauteurs: He, J, Hoare, C
Formaat: Journal article
Gepubliceerd in: 1999

Gelijkaardige items