Formalization of Asymptotic Notations in HOL4 - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Nadeem Iqbal' in GoogleThis author has not been identified. It may be one of the following persons:

Osman Hasan

Look up 'Osman Hasan' in GoogleThis author has not been identified. Look up 'Umair Siddique' in GoogleThis author has not been identified. Look up 'Falah Awwad' in Google

runs on WebDSL