13 lines
381 B
YAML
13 lines
381 B
YAML
- 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 |