From 1b711f337662dd6126c02f91ea020ef89c1a9e9a Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 22 Mar 2016 14:44:58 +0100
Subject: [PATCH] update bib
---
docs/bib.bib | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/docs/bib.bib b/docs/bib.bib
index 7658e619c..babc95f55 100644
--- a/docs/bib.bib
+++ b/docs/bib.bib
@@ -135,8 +135,8 @@
}
@Misc{appendix,
- title = {Appendix and {Coq} development},
- note = {\url{http://plv.mpi-sws.org/iris}},
+ title = {Appendix and {Coq} development. {Anonymous} supplementary material submitted with the paper.},
+ key = {A}
}
@@ -3628,7 +3628,7 @@ year = {2013}
@phdthesis{krebbers:phd,
author = {Robbert Krebbers},
- title = "{The C standard formalized in Coq}",
+ title = {The C standard formalized in Coq},
year = {2015},
school = {Radboud University},
}
--
GitLab