diff options
Diffstat (limited to 'bibliography.bib')
-rw-r--r-- | bibliography.bib | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bibliography.bib b/bibliography.bib index a04d5a0..2d4720c 100644 --- a/bibliography.bib +++ b/bibliography.bib @@ -451,7 +451,7 @@ and Morawiec, Adam", url = {https://doi.org/10.1145/3485494}, date = {2021-10}, doi = {10.1145/3485494}, - journaltitle = {Proc. ACM Program. Lang.}, + journal = {Proceedings of the ACM on Programming Languages}, keywords = {high-level synthesis,Coq,Verilog,CompCert,C}, number = {OOPSLA}, title = {Formal Verification of High-Level Synthesis}, |