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

by Leonardo
Venue:In Coimbatore Rajamani Ramakrishnan and Jakob Rehof, editors, Tools and Algorithms for the Construction and Analysis of Systems, volume 4963 of Lecture Notes in Computer Science