DMCA

Scalable and precise program analysis at nec (2010)

by Gogul Balakrishnan , Malay K. Ganai , Aarti Gupta , Vineet Kahlon , Weihong Li , Naoto Maeda , Nadia Papakonstantinou , Sriram Sankaranarayanan , Nishant Sinha , Chao Wang
Venue:In FMCAD
Citations:1 - 0 self