Mechanizing probability theory in Isabelle/HOL
WANG Jin-shuang;ZHANG Xing-yuan;ZHANG Yu-sen
J4 . 2007, (7): 197 -200 . 

Copyright © 2018 Journal of Xidian University, All Rights Reserved.
Powered by Beijing Magtech Co. Ltd