diff options
Diffstat (limited to 'report/auto/references.el')
| -rw-r--r-- | report/auto/references.el | 15 |
1 files changed, 15 insertions, 0 deletions
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) + |