DMCA

S.: Ic3 modulo theories via implicit predicate abstraction

by Alessandro Cimatti , Alberto Griggio , Sergio Mover , Stefano Tonetta Fondazione , Bruno Kessler
Venue:In: Proc. TACAS. (2014
Citations:4 - 2 self