@mastersthesis {219,
	title = {An SMT-based verification framework for software systems handling arrays},
	volume = {PhD},
	year = {2015},
	month = {02/2015},
	pages = {188},
	school = {Universit{\`a} della Svizzera Italiana},
	type = {Doctoral Dissertation},
	address = {Lugano},
	url = {http://www.falberti.it/thesis/phd.pdf},
	author = {Francesco Alberti}
}
