diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-09-15 16:31:01 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-15 16:31:01 +0100 |
commit | 5e4c1c52cf8ab7fe6b8de4f06e8d4b5b518eed82 (patch) | |
tree | 3a798226cdabbaca0c8878bf06fea66d08a9d583 | |
parent | ac3682113bde3dc6fc496c2dc566a019b942af53 (diff) | |
download | vericert-5e4c1c52cf8ab7fe6b8de4f06e8d4b5b518eed82.tar.gz vericert-5e4c1c52cf8ab7fe6b8de4f06e8d4b5b518eed82.zip |
Add number of pages correctly
-rw-r--r-- | CITATION.cff | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CITATION.cff b/CITATION.cff index 06d3364..9328474 100644 --- a/CITATION.cff +++ b/CITATION.cff @@ -37,7 +37,7 @@ preferred-citation: doi: "10.1145/3485494" journal: "Proc. ACM Program. Lang." month: 11 - numpages: 30 + pages: 30 title: "Formal Verification of High-Level Synthesis" volume: 5 year: 2021 |