APA (7th ed.) Citation

Hasan, O., & Tahar, S. (2015). Formalized probability theory and applications using theorem proving / Osman Hasan and Sofiène Tahar. IGI Global.

Chicago Style (17th ed.) Citation

Hasan, Osman, and Sofiène Tahar. Formalized Probability Theory and Applications Using Theorem Proving / Osman Hasan and Sofiène Tahar. Hershey, Pennsylvania (701 E. Chocolate Avenue, Hershey, Pa., 17033, USA): IGI Global, 2015.

MLA (9th ed.) Citation

Hasan, Osman, and Sofiène Tahar. Formalized Probability Theory and Applications Using Theorem Proving / Osman Hasan and Sofiène Tahar. IGI Global, 2015.

Warning: These citations may not always be 100% accurate.