@inproceedings { 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},
	URL = {publications/ondrej-sery-grigory-fedyukovich-natasha-sharygina-2012-funfrog-bounded-model-checking-with-interpolation-based-function-summarization},
	author = {Ondrej Sery and  Grigory Fedyukovich and  Natasha Sharygina}
}