aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2021-09-15 16:16:55 +0100
committerYann Herklotz <git@yannherklotz.com>2021-09-15 16:16:55 +0100
commit4def81ab50d8239320e7c8c71c80844050fb1111 (patch)
treebf1d3cd7bef13765c3ced37179a39d76b1ee9a3c
parent4a02e02194f5d8f3aa83f69757b801a66939b839 (diff)
downloadvericert-4def81ab50d8239320e7c8c71c80844050fb1111.tar.gz
vericert-4def81ab50d8239320e7c8c71c80844050fb1111.zip
Add DOI to article
-rw-r--r--CITATION.cff2
-rw-r--r--README.org1
2 files changed, 2 insertions, 1 deletions
diff --git a/CITATION.cff b/CITATION.cff
index 34911af..06d3364 100644
--- a/CITATION.cff
+++ b/CITATION.cff
@@ -34,7 +34,7 @@ preferred-citation:
- family-names: "Wickerson"
given-names: "John"
orcid: "https://orcid.org/0000-0001-6735-5533"
- doi: "10.0000/00000"
+ doi: "10.1145/3485494"
journal: "Proc. ACM Program. Lang."
month: 11
numpages: 30
diff --git a/README.org b/README.org
index 26f94ee..02eb8c8 100644
--- a/README.org
+++ b/README.org
@@ -124,6 +124,7 @@ If you use Vericert in any ways, please cite it using our [[https://yannherklotz
volume = {5},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
+ doi = {10.1145/3485494}
}
#+end_src