Verification of Expectation Properties for Discrete Random Variables in HOL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Osman Hasan, Sofiène Tahar. Verification of Expectation Properties for Discrete Random Variables in HOL. In Klaus Schneider, Jens Brandt, editors, Theorem Proving in Higher Order Logics, 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings. Volume 4732 of Lecture Notes in Computer Science, pages 119-134, Springer, 2007. [doi]

This author has not been identified. It may be one of the following persons:

Osman Hasan

Look up 'Osman Hasan' in GoogleThis author has not been identified. Look up 'Sofiène Tahar' in Google

runs on WebDSL