Login / Signup
Wilayat Khan
ORCID
Publication Activity (10 Years)
Years Active: 2014-2023
Publications (10 Years): 15
Top Topics
Predicate Calculus
Formal Model
Theorem Prover
Mobile Computing Devices
Top Venues
IT Prof.
IEEE Access
CoRR
SG-CRC
</>
Publications
</>