@conference { Ondrej Sery; Gri,
	title = {Incremental Upgrade Checking by Means of Interpolation-based Function Summaries},
	booktitle = {Twelfth International Conference on Formal Methods in Computer-Aided Design (FMCAD)},
	year = {2012},
	note = {To appear at the conference. The pdf-version is not final.},
	address = {Cambridge, UK},
	author = {Sery, O. and Grigory Fedyukovich and Natasha Sharygina}
}
