@misc{W1480909796,
  author = {Leonardo de Moura and Nikolaj Bjørner},
  title = {Z3: An Efficient SMT Solver},
  year = {2008},
  howpublished = {Lecture notes in computer science},
  doi = {https://doi.org/10.1007/978-3-540-78800-3\_24}
}