diff options
Diffstat (limited to 'papers.bib')
-rw-r--r-- | papers.bib | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -9,7 +9,8 @@ numpages = {15}, keywords = {Verified Compilation, SSA, Gated SSA}, location = {Boston, MA, USA}, url_artefact = {https://zenodo.org/record/7430387}, -url_manuscript = {/papers/cpp23_msgssa.pdf} +url_manuscript = {/papers/cpp23_msgssa.pdf}, +url_slides = {/docs/cpp23/slides_msgssa.pdf} } @inproceedings{FCCM '22, |