@inproceedings{demoura2008z,
author = {de Moura, Leonardo and Bjørner, Nikolaj},
title = {Z3: an efficient SMT solver},
booktitle = {2008 Tools and Algorithms for Construction and Analysis of Systems},
year = {2008},
month = {March},
abstract = {Satisfiability Modulo Theories (SMT) problem is a decision problem for logical first order formulas with respect to combinations of background theories such as: arithmetic, bit-vectors, arrays, and uninterpreted functions. Z3 is a new and efficient SMT Solver freely available from Microsoft Research. It is used in various software verification and analysis applications.},
publisher = {Springer, Berlin, Heidelberg},
url = {http://approjects.co.za/?big=en-us/research/publication/z3-an-efficient-smt-solver/},
pages = {337-340},
}