On the formalization of importance measures using HOL theorem proving.

Waqar Ahmad, Shahid Ali Murtza, Osman Hasan, Sofine Tahar

Browse the full ICSE paper archive.