diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2018-11-05 20:44:44 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-11-05 20:44:44 +0000 |
commit | 100dfed956847202ff19fec72ae8901331e7a7d6 (patch) | |
tree | 249c32972affeca5ba4ad12ec70a986c51ca16d9 /report/auto | |
parent | 4c0801886a489e9c9529c786f1122a8e71f46f5d (diff) | |
download | verismith-100dfed956847202ff19fec72ae8901331e7a7d6.tar.gz verismith-100dfed956847202ff19fec72ae8901331e7a7d6.zip |
Add references
Diffstat (limited to 'report/auto')
-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) + |