Publications

Export 10 results:
Author Title [ Type(Asc)] Year
Filters: Author is Francesco Alberti  [Clear All Filters]
Thesis
An SMT-based verification framework for software systems handling arrays, Alberti, Francesco , Faculty of Informatics of the Università della Svizzera Italiana, 02/2015, Volume PhD, Lugano, p.188, (2015)