Normal view
MARC view
- Ayesha Inam, Aisha Khan
Ayesha Inam, Aisha Khan (Personal Name)
Machine generated authority record.
Work cat.: (NUST)11305: Nirmal Saeed 92605, V-Holt Verifier (A formal verification tool for combinational circuits), 2012