Publications

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