Nadeem Iqbal, Osman Hasan, Umair Siddique, Falah Awwad. Formalization of Asymptotic Notations in HOL4. In IEEE 4th International Conference on Computer and Communication Systems, ICCCS 2019, Singapore, February 23-25, 2019. pages 383-387, IEEE, 2019. [doi]
@inproceedings{IqbalHSA19,
title = {Formalization of Asymptotic Notations in HOL4},
author = {Nadeem Iqbal and Osman Hasan and Umair Siddique and Falah Awwad},
year = {2019},
doi = {10.1109/CCOMS.2019.8821642},
url = {https://doi.org/10.1109/CCOMS.2019.8821642},
researchr = {https://researchr.org/publication/IqbalHSA19},
cites = {0},
citedby = {0},
pages = {383-387},
booktitle = {IEEE 4th International Conference on Computer and Communication Systems, ICCCS 2019, Singapore, February 23-25, 2019},
publisher = {IEEE},
isbn = {978-1-7281-1322-7},
}