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]
@inproceedings{KarfaBSM11,
title = {Equivalence Checking of Array-Intensive Programs},
author = {Chandan Karfa and Kunal Banerjee and Dipankar Sarkar and Chitta Mandal},
year = {2011},
doi = {10.1109/ISVLSI.2011.61},
url = {http://dx.doi.org/10.1109/ISVLSI.2011.61},
researchr = {https://researchr.org/publication/KarfaBSM11},
cites = {0},
citedby = {0},
pages = {156-161},
booktitle = {IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2011, 4-6 July 2011, Chennai, India},
publisher = {IEEE Computer Society},
}