1, Z3 Homepage Open

2, Z3 API Open

3, rise4fun Online Z3 Open

4, Z3 - a Tutorial Open Microsoft Research, pp. 1-61.

5, Getting Started with Z3: A Guide Open Microsoft Research

6, Z3: An Efficient SMT Solver Open Springer-Verlag Berlin Heidelberg, pp. 337-340, 2008.

7, Tutorial on SMT Solvers, Combinatorial Problem Solving Open Enric Rodŕıguez-Carbonell, pp. 1-10, 2016.

8, Detection of Incorrect Pointer Dereferences for C/C++ Programs using Static Code Analysis and Logical Inference Open CPS, pp. 78-82, 2013.

9, SMT solvers for Testing, Program Analysis and Verification at Microsoft Open IEEE, pp. 15, 2009.

10, An efficient SMT solver for string constraints Open Springer, pp. 1-29, 2013. On Composing and Proving the Correctness of Reactive Behavior Open IEEE, pp. 1-10, 2013.