diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-11-25 16:17:27 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-11-25 16:17:27 +0000 |
commit | ee4d2fdc649283984459fbe60affd70863c57a14 (patch) | |
tree | f1329dbd935e06b355bdf4f3bf0b9a997cf47425 | |
parent | 60d78bb7a90be34747a255bf2394c1d71370ff39 (diff) | |
download | yannherklotz.com-ee4d2fdc649283984459fbe60affd70863c57a14.tar.gz yannherklotz.com-ee4d2fdc649283984459fbe60affd70863c57a14.zip |
Shorten the name of book
-rw-r--r-- | papers.bib | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 } |