Report copyright - Verification of Expectation Properties for Discrete Random ...hvg.ece.concordia.ca/Publications/Conferences/TPHOLs'07.pdf · definition of expectation in HOL to verify the linearity
Please pass captcha verification before submit form