Z3

Publications

View by:

Year Research Area Publication Type

Publications by Year

Expand all | Collapse all

• 2008

  Z3: an efficient SMT solver

  Leonardo de Moura, Nikolaj Bjørner

  2008 Tools and Algorithms for Construction and Analysis of Systems | March 2008

  DOI PDF Publication Github

Publications by Research Area

Expand all | Collapse all

• Programming languages and software engineering

  Z3: an efficient SMT solver

  Leonardo de Moura, Nikolaj Bjørner

  2008 Tools and Algorithms for Construction and Analysis of Systems | March 2008

  DOI PDF Publication Github

Publications by Type

Expand all | Collapse all

• Inproceedings (Conference)

  Z3: an efficient SMT solver

  Leonardo de Moura, Nikolaj Bjørner

  2008 Tools and Algorithms for Construction and Analysis of Systems | March 2008

  DOI PDF Publication Github