diff options
Diffstat (limited to 'references.bib')
| -rw-r--r-- | references.bib | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/references.bib b/references.bib index 2496bf4..6966d89 100644 --- a/references.bib +++ b/references.bib @@ -25,9 +25,9 @@ @misc{vericertfun-github, author = {Pardalos, Michalis and Herklotz, Yann and Wickerson, John}, - title = {Public Github repository for Vericert-Fun}, + title = {Public repository for Vericert-Fun}, year = 2022, - url = {https://github.com/mpardalos/Vericert-Fun}, + note = {\url{https://github.com/mpardalos/Vericert-Fun} or \url{https://doi.org/10.5281/zenodo.5866708}}, } @misc{xilinx_vitis, |