Login / Signup
Immad Naseer
Publication Activity (10 Years)
Years Active: 2008-2021
Publications (10 Years): 2
Top Topics
Formal Verification
Mobile Services
Dynamic Allocation
Model Checker
Top Venues
VSTTE
ASE
</>
Publications
</>