TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
A total of 89 records were found in 0.391 seconds
Cost-Based Analysis of Probabilistic Programs Mechanised in HOL
Nord. J. Comput., 11(2):102-128, 2004