Skip to content
Snippets Groups Projects
Commit affe066c authored by Hans-Jörg's avatar Hans-Jörg
Browse files

Update refrence

parent 14a4af0b
No related branches found
No related tags found
No related merge requests found
Pipeline #3926 passed
...@@ -261,13 +261,19 @@ ...@@ -261,13 +261,19 @@
} }
@inproceedings{schurr-2021, @inproceedings{schurr-2021,
author = { author="Schurr, Hans-J{\"o}rg
Hans-Jörg Schurr and Mathias Fleury and Martin Desharnais and Fleury, Mathias
}, and Desharnais, Martin",
title = {Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant}, editor="Platzer, Andr{\'e}
booktitle = "CADE 2021", and Sutcliffe, Geoff",
year = {2021}, 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, series = lncs,
doi= {10.1007/978-3-030-79876-5\_26}
} }
@article{de-nivelle-2005, @article{de-nivelle-2005,
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment