@inproceedings { stt2009,
	title = {The Synergy of Precise and Fast Abstractions for Program Verification},
	booktitle = {24th Annual ACM Symposium on Applied Computing (SAC)},
	year = {2009},
	pages = {566-573},
	publisher = {ACM},
	organization = {ACM},
	address = {Honolulu, USA},
	URL = {http://dx.doi.org/10.1145/1529282.1529404},
	author = {Natasha Sharygina and  Stefano Tonetta and  Aliaksei Tsitovich}
}