diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-10-07 23:49:51 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-07 23:49:51 +0100 |
commit | 6c672e1ff42c67eb8118651433dc3d892319a53e (patch) | |
tree | cceb0dcee8ceeed59bda3347ef7e6ff5d2b6f885 /layouts/partials | |
parent | e5622206be4f9f8c9679b223fbebfeb36fba74da (diff) | |
download | yannherklotz.com-6c672e1ff42c67eb8118651433dc3d892319a53e.tar.gz yannherklotz.com-6c672e1ff42c67eb8118651433dc3d892319a53e.zip |
Add correct citation style
Diffstat (limited to 'layouts/partials')
-rw-r--r-- | layouts/partials/papers.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/layouts/partials/papers.html b/layouts/partials/papers.html index 57e3ff5..a922e6c 100644 --- a/layouts/partials/papers.html +++ b/layouts/partials/papers.html @@ -13,7 +13,7 @@ <dd> <b>Yann Herklotz</b>, James D. Pollard, Nadesh Ramanathan, and John Wickerson. Formal verification of high-level synthesis. - volume 5. ACM, 11 2021.<br /> + <em>Proc. ACM Program. Lang.</em>, (OOPSLA), 2021.<br /> [ <a href="http://dx.doi.org/10.1145/3485494">DOI</a> | <a href="https://github.com/ymherklotz/vericert">artifact</a> | <a href="/papers/oopsla21_fvhls.pdf">pdf</a> | |