Finding basic block and variable correspondence. Narasamdya, I. & Voronkov, A. In Proc. of the 12th Int'l Conf. on Static Analysis, pages 251--267, 2005. biblatexdata[acmid=2156822;numpages=17] bibtex: Narasamdya2005
	title = {Finding basic block and variable correspondence},
	booktitle = {Proc. of the 12th {Int}'l {Conf}. on {Static} {Analysis}},
	author = {Narasamdya, Iman and Voronkov, Andrei},
	year = {2005},
	note = {biblatexdata[acmid=2156822;numpages=17] 
bibtex: Narasamdya2005},
	keywords = {bdiff\_},
	pages = {251--267}

Downloads: 0