Formal Verification of ECCs for Memories Using ACL2 - Mahum Naseer (Islamabad : SEECS NUST, 2018)
Hard cover
Keywords: Mahum Naseer