@conference {322,
	title = {Incremental Verification by SMT-based Summary Repair},
	booktitle = {20th conference on FORMAL METHODS in COMPUTER-AIDED DESIGN {\textendash} FMCAD 2020},
	year = {2020},
	publisher = {IEEE digital library, TU Wien Academic Press},
	organization = {IEEE digital library, TU Wien Academic Press},
	isbn = {978-3-85448-042-6},
	url = {http://verify.inf.usi.ch/sites/default/files/upprover-fmcad20.pdf},
	author = {Sepideh Asadi and Martin Blicha and Antti E. J. Hyv{\"a}rinen and Grigory Fedyukovich and Natasha Sharygina}
}
