[IEEE 2019 IEEE/ACM 7th International Conference on Formal...

  • Main
  • [IEEE 2019 IEEE/ACM 7th International...

[IEEE 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) - Montreal, QC, Canada (2019.5.27-2019.5.27)] 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) - On the Formalization of Importance Measures Using HOL Theorem Proving

Ahmad, Waqar, Murtza, Shahid Ali, Hasan, Osman, Tahar, Sofiene
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2019
DOI:
10.1109/FormaliSE.2019.00021
File:
PDF, 919 KB
2019
Conversion to is in progress
Conversion to is failed