TY  - RPRT
TI  - On the Formalization of Importance Measures using HOL Theorem Proving
AU  - Waqar Ahmed
AU  - Shahid Ali Murtza
AU  - Osman Hasan
AU  - Sofiene Tahar
PY  - 2019
UR  - https://arxiv.org/abs/1904.01605
ID  - 1904.01605
ER  -