Equivalence Checking of Array-Intensive Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chandan Karfa, Kunal Banerjee, Dipankar Sarkar, Chitta Mandal. Equivalence Checking of Array-Intensive Programs. In IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2011, 4-6 July 2011, Chennai, India. pages 156-161, IEEE Computer Society, 2011. [doi]

This author has not been identified. Look up 'Chandan Karfa' in GoogleThis author has not been identified. Look up 'Kunal Banerjee' in GoogleThis author has not been identified. Look up 'Dipankar Sarkar' in GoogleThis author has not been identified. Look up 'Chitta Mandal' in Google

runs on WebDSL