diff options
Diffstat (limited to 'layouts/partials/papers.html')
-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 ed212fa..e9523af 100644 --- a/layouts/partials/papers.html +++ b/layouts/partials/papers.html @@ -15,7 +15,7 @@ Formal verification of high-level synthesis. volume 5, New York, NY, USA, 11 2021. Association for Computing Machinery.<br /> -<b> <a href="/papers/fvhls_oopsla21.pdf">pdf</a> </b> +[ <a href="/papers/fvhls_oopsla21.pdf">pdf</a> ] </dd> |