From 100dfed956847202ff19fec72ae8901331e7a7d6 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <ymherklotz@gmail.com>
Date: Mon, 5 Nov 2018 20:44:44 +0000
Subject: Add references

---
 report/auto/references.el | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 report/auto/references.el

(limited to 'report/auto/references.el')

diff --git a/report/auto/references.el b/report/auto/references.el
new file mode 100644
index 0000000..a16e920
--- /dev/null
+++ b/report/auto/references.el
@@ -0,0 +1,15 @@
+(TeX-add-style-hook
+ "references"
+ (lambda ()
+   (LaTeX-add-bibitems
+    "10.1007/3-540-60117-1_16"
+    "Chen:2013:TCF:2499370.2462173"
+    "Lidbury:2015:MCF:2813885.2737986"
+    "Godefroid:2008:GWF:1379022.1375607"
+    "Le:2015:FDC:2858965.2814319"
+    "Yang:2011:FUB:1993316.1993532"
+    "Miller:1990:ESR:96267.96279"
+    "laeufer2018rfuzz"
+    "braibant2013formal"))
+ :bibtex)
+
-- 
cgit