de Moura and Nikolaj Bjørner. Z3: An efficient SMT solver (0)

by Leonardo
Venue:In Proc. TACAS ’08