00613nam a22001937a 4500 NUST 20220831100703.0 190626b ||||| |||| 00| 0 eng d Mr. Zahoor 621.3 Mahum Naseer 15598 Formal Verification of ECCs for Memories Using ACL2/ Mahum Naseer Islamabad : SEECS NUST, 2018. ix, 38p. : ill. ; 30cm Hard cover SEECS - Electrical Engineering - Ms Thesis Mahum Naseer 15598 http://10.250.8.41:8080/xmlui/handle/123456789/16563 ddc THE 524806 524806 0 0 ddc 0 0 CL CL THE 2019-06-26 0 621.3 CL-T-1830 2019-06-26 2019-06-26 THE 0 0 ddc 0 0 CL CL THE 2019-11-05 621.3 CL-T-3888 2019-11-05 2019-11-05 THE