@conference { Ondrej Sery; Gri,
	title = {FunFrog: Bounded Model Checking with Interpolation-based Function Summarization},
	booktitle = {Tenth International Symposium on Automated Technology for Verification and Analysis (ATVA)},
	year = {2012},
	note = {To appear at the conference. The pdf-version is not final.},
	address = {Thiruvananthapuram, India},
	author = {Sery, O. and Grigory Fedyukovich and Natasha Sharygina}
}
@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}
}
