From ee4d2fdc649283984459fbe60affd70863c57a14 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 25 Nov 2022 16:17:27 +0000 Subject: Shorten the name of book --- papers.bib | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/papers.bib b/papers.bib index fc74092..88e1230 100644 --- a/papers.bib +++ b/papers.bib @@ -2,7 +2,7 @@ author = {Yann Herklotz and Delphine Demange and Sandrine Blazy}, title = {Mechanised Semantics for Gated Static Single Assignment}, year = {2023}, - booktitle = {Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)}, + booktitle = {Proc. of the 12th ACM SIGPLAN Int. Conf. on Certified Programs and Proofs (CPP)}, numpages = 14 } -- cgit