Linking Theories in Probabilistic Programming

Dettagli Bibliografici
Autori principali: He, J, Hoare, C
Natura: Journal article
Pubblicazione: 1999