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:
Related Articles:
-
Takaaki Masuhara, Toru Kuriyama, Masakazu Yoshida, Jun Cheng
-
J.L. Imana
-
Shagufta Shafiq, Nasir Mehmood Minhas
-
Amjad Gawanmeh, Sofiène Tahar, Leila Jemni Ben Ayed
-
Nasir Mehmood Minhas, Asad Masood Qazi, Sidra Shahzadi, Shumaila Ghafoor