diff options
-rw-r--r-- | main.tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -46,7 +46,7 @@ %%% 'Formal Verification of High-Level Synthesis' %%% by Yann Herklotz, James D. Pollard, Nadesh Ramanathan, and John Wickerson. %%% -\setcopyright{none} +\setcopyright{rightsretained} \acmPrice{} \acmDOI{10.1145/3485494} \acmYear{2021} |