Hasan, O. and Tahar, S. (2007) Verification of Probabilistic Properties in the HOL Theorem Prover. Proceedings of the Integrated Formal Methods, 4591, 333-352. http://dx.doi.org/10.1007/978-3-540-73210-5_18
has been cited by the following article:
Related Articles: