@conference {149,
	title = {Function Summaries in Software Upgrade Checking},
	booktitle = {Haifa Verification Conference (HVC)},
	year = {2011},
	publisher = {Springer},
	organization = {Springer},
	address = {Haifa Verification Conference (HVC)},
	author = {Grigory Fedyukovich and Sery, O. and Natasha Sharygina}
}
