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