Article citationsMore>>

O. Hasan and S. Tahar, “Verification of Probabilistic Properties in the HOL Theorem Prover,” Proceedings of the Integrated Formal Methods, Oxford, Vol. 4591, 2007, pp. 333-352.
http://dx.doi.org/10.1007/978-3-540-73210-5_18

has been cited by the following article: