From 60d78bb7a90be34747a255bf2394c1d71370ff39 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 22 Nov 2022 23:05:04 +0000 Subject: Update the reference --- papers.bib | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/papers.bib b/papers.bib index 62585c6..fc74092 100644 --- a/papers.bib +++ b/papers.bib @@ -1,8 +1,8 @@ @inproceedings{CPP '23, - author = {Yann Herklotz, Delphine Demange and Sandrine Blazy}, + author = {Yann Herklotz and Delphine Demange and Sandrine Blazy}, title = {Mechanised Semantics for Gated Static Single Assignment}, year = {2023}, - booktitle = {Certified Programs and Proofs (CPP)}, + booktitle = {Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)}, numpages = 14 } -- cgit