Publications
Export 1 results:
Author Title [ Type] Year Filters: First Letter Of Title is A and Author is Ghilardi, S. [Clear All Filters]
Abstraction and Acceleration in SMT-based Model-Checking for Array Programs,
, CoRR, Volume April 2013, (2013)