Formalized Probability Theory and Applications Using Theorem Proving Hasan Osman Kombinasjonsprodukt / 2015 / Engelsk
Formalized Probability Theory and Applications Using Theorem Proving Hasan Osman Innbundet / 2015 / Engelsk
Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings Li Yi Heftet / 2023 / Engelsk
Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings Ait Mohamed Otmane Heftet / 2008 / Engelsk
Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings Barkaoui Kamel Heftet / 2017 / Engelsk
