TY  - BOOK
AU  - Mahum Naseer
TI  - Formal Verification of ECCs for Memories Using ACL2
U1  - 621.3 
PY  - 2018///
CY  - Islamabad
PB  - SEECS NUST
KW  - Mahum Naseer
N1  - Hard cover
UR  - http://10.250.8.41:8080/xmlui/handle/123456789/16563
ER  -