@conference {208,
	title = {Symbolic Detection of Assertion Dependencies for Bounded Model Checking},
	booktitle = {18th International Conference on Fundamental Approaches to Software Engineering (FASE)},
	year = {2015},
	author = {Grigory Fedyukovich and Callia D{\textquoteright}Iddio, A. and Antti E. J. Hyv{\"a}rinen and Natasha Sharygina}
}
