Update the reference

1 files 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
 }