@conference {288,
	title = {Function Summarization Modulo Theories},
	booktitle = {22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning, LPAR},
	year = {2018},
	publisher = {EasyChair Publications},
	organization = {EasyChair Publications},
	address = {Ethiopia},
	keywords = {Author keywords:	 Software Verification Bounded Model Checking, Craig Interpolation, Function Summaries, Incremental Verification, Satisfiability Modulo Theories, Software Verification},
	doi = {10.29007/d3bt},
	url = {https://easychair.org/publications/paper/nNLJ},
	author = {Sepideh Asadi and Martin Blicha and Grigory Fedyukovich and Antti E. J. Hyv{\"a}rinen and Karine Even-Mendoza and Natasha Sharygina and Hana Chockler}
}
