Normal view
MARC view
- Mahum Naseer
Mahum Naseer (Personal Name)
Machine generated authority record.
Work cat.: (NUST): Mahum Naseer, Formal Verification of ECCs for Memories Using ACL2/, 2018.