- key: deMoura2008
  author:
    - de Moura, Leonardo
    - Bjørner, Nikolaj
  booktitle: TACAS
  copyright: https://www.microsoft.com/en-us/research/publication/z3-an-efficient-smt-solver/
  doi: 10.1007/978-3-540-78800-3_24
  langid: english
  publisher: Springer, Berlin, Heidelberg
  shorttitle: Z3 SMT Solver
  title: "Z3: An Efficient SMT Solver"
  month: March
  year: 2008