Normal view MARC view
  • Nirmal Saeed

Nirmal Saeed (Personal Name)

Preferred form: Nirmal Saeed

Machine generated authority record.

Work cat.: (NUST)11305: Nirmal Saeed, V-Holt Verifier (A formal verification tool for combinational circuits), 2012

© 2023 Central Library, National University of Sciences and Technology. All Rights Reserved.