update publications

2025-06-06 18:06:10 -06:00
parent 35254ad2f6
commit 80cafb3f32
2 changed files with 27 additions and 0 deletions
--- a/z3.yaml
+++ b/z3.yaml
@@ -0,0 +1,13 @@
+- 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