@conference {DBLP:conf/cav/LahiriHKR12,
	title = {SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs},
	booktitle = {Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
	year = {2012},
	pages = {712{\textendash}717},
	doi = {10.1007/978-3-642-31424-7_54},
	url = {http://dx.doi.org/10.1007/978-3-642-31424-7_54},
	author = {Shuvendu K. Lahiri and Chris Hawblitzel and Ming Kawaguchi and Henrique Reb{\^e}lo}
}
