aboutsummaryrefslogtreecommitdiffstats
path: root/CITATION.cff
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 /CITATION.cff
parent4a02e02194f5d8f3aa83f69757b801a66939b839 (diff)
downloadvericert-4def81ab50d8239320e7c8c71c80844050fb1111.tar.gz
vericert-4def81ab50d8239320e7c8c71c80844050fb1111.zip
Add DOI to article
Diffstat (limited to 'CITATION.cff')
-rw-r--r--CITATION.cff2
1 files changed, 1 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