Document is current
Any future updates will be listed below
-
Authors
Rashid, Adnan https://orcid.org/0000-0002-9729-584X
Gauhar, Ayesha
Hasan, Osman https://orcid.org/0000-0003-2562-2669
Abed, Sa’ed https://orcid.org/0000-0003-1849-9316
Ahmad, Imtiaz
- License Information
-
More Information
Article History
Received: 8 December 2023
Accepted: 7 June 2024
First Online: 28 June 2024
Declarations
:
: There is no conflict of interest for our article entitled “Formal Verification of Universal Numbers using Theorem Proving” submitted in Journal of Electronic Testing.
