@proceedings { fss2012,
	title = {Function Summaries in Software Upgrade Checking},
	volume = {7261},
	year = {2011},
	note = {Extended abstract. To appear at the poster session},
	publisher = {Springer},
	address = {Haifa, Israel},
	author = {Grigory Fedyukovich and  Ondrej Sery and  Natasha Sharygina}
}