Using smt solvers for deductive verification of c and java programs (0)

by Jean-Christophe Filliâtre
Venue:In SMT’08