Article citationsMore>>

O. Hasan and S. Tahar, “Verification of Probabilistic Properties in the HOL Theorem Prover,” Proceedings of the 6th International Conference of Integrated Formal Methods, Oxford, 2-5 July 2007, pp. 333-352.

has been cited by the following article: