diff options
Diffstat (limited to 'CITATION.cff')
| -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 |