Publications

Export 68 results:
Author Title [ Type(Desc)] Year
Filters: Tsitovich-sharygina-wintersteiger-kroening--2011-loop-summarization-and-termination-analysis.html is   [Clear All Filters]
Thesis
Scalable Abstractions for Efficient Security Checks, Tsitovich, Aliaksei , Lugano, p.164, (2011)
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)

Pages