1 files changed, 8 insertions, 0 deletions

diff --git a/papers.bib b/papers.bib
index 3118f81..62585c6 100644
--- a/papers.bib
+++ b/papers.bib
@@ -1,3 +1,11 @@
+@inproceedings{CPP '23,
+  author = {Yann Herklotz, Delphine Demange and Sandrine Blazy},
+  title = {Mechanised Semantics for Gated Static Single Assignment},
+  year = {2023},
+  booktitle = {Certified Programs and Proofs (CPP)},
+  numpages = 14
+}
+
 @inproceedings{FCCM '22,
   author = {Pardalos, Michalis and Herklotz, Yann and Wickerson, John},
   title = {Resource Sharing for Verified High-Level Synthesis},