diff options
-rw-r--r-- | papers.bib | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -24,7 +24,8 @@ url_artifact = {https://github.com/ymherklotz/vericert}, url_video = {https://youtu.be/clPiKbKVlUA}, url_poster = {/docs/oopsla21/poster_fvhls.pdf}, - url_changelog = {/changelog/oopsla21_fvhls} + url_changelog = {/changelog/oopsla21_fvhls}, + url_blog_post = {https://vericert.ymhg.org/2021/10/a-first-look-at-vericert/} } @inproceedings{FCCM '21, |