Waqar Ahmad, Shahid Ali Murtza, Osman Hasan, Sofiène Tahar. On the formalization of importance measures using HOL theorem proving. In Stefania Gnesi, Nico Plat, Nancy A. Day, Matteo Rossi, editors, Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019. pages 109-118, IEEE / ACM, 2019. [doi]
@inproceedings{AhmadMHT19,
title = {On the formalization of importance measures using HOL theorem proving},
author = {Waqar Ahmad and Shahid Ali Murtza and Osman Hasan and Sofiène Tahar},
year = {2019},
url = {https://dl.acm.org/citation.cfm?id=3338829},
researchr = {https://researchr.org/publication/AhmadMHT19},
cites = {0},
citedby = {0},
pages = {109-118},
booktitle = {Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019},
editor = {Stefania Gnesi and Nico Plat and Nancy A. Day and Matteo Rossi},
publisher = {IEEE / ACM},
}