From affe066cb59a256a4abbfd316cfb05ffe2d0acbc Mon Sep 17 00:00:00 2001
From: Hans-Joerg Schurr <commits@schurr.at>
Date: Sat, 10 Jul 2021 14:38:37 +0200
Subject: [PATCH] Update refrence
---
spec/bib.bib | 18 ++++++++++++------
1 file changed, 12 insertions(+), 6 deletions(-)
diff --git a/spec/bib.bib b/spec/bib.bib
index aab7a7e..c3f433c 100644
--- a/spec/bib.bib
+++ b/spec/bib.bib
@@ -261,13 +261,19 @@
}
@inproceedings{schurr-2021,
- author = {
- Hans-Jörg Schurr and Mathias Fleury and Martin Desharnais
- },
- title = {Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant},
- booktitle = "CADE 2021",
- year = {2021},
+ author="Schurr, Hans-J{\"o}rg
+ and Fleury, Mathias
+ and Desharnais, Martin",
+ editor="Platzer, Andr{\'e}
+ and Sutcliffe, Geoff",
+ title="Reliable Reconstruction of Fine-grained Proofs in a Proof Assistant",
+ booktitle="CADE 28",
+ year="2021",
+ publisher="Springer International Publishing",
+ address="Cham",
+ pages="450--467",
series = lncs,
+ doi= {10.1007/978-3-030-79876-5\_26}
}
@article{de-nivelle-2005,
--
GitLab