@inproceedings { ABGRS_CAV12,
	title = {SAFARI: SMT-based Abstraction For Arrays with Interpolants},
	booktitle = {24th International Conference on Computer Aided Verification (CAV)},
	year = {2012},
	publisher = {Springer},
	organization = {Springer},
	address = {Berkeley, California, USA},
	author = {Francesco Alberti and  Roberto Bruttomesso and  Silvio Ghilardi and  Silvio Ranise and  Natasha Sharygina}
}