Commit 1b711f33 authored by Ralf Jung's avatar Ralf Jung

update bib

parent 74960dec
...@@ -135,8 +135,8 @@ ...@@ -135,8 +135,8 @@
} }
@Misc{appendix, @Misc{appendix,
title = {Appendix and {Coq} development}, title = {Appendix and {Coq} development. {Anonymous} supplementary material submitted with the paper.},
note = {\url{http://plv.mpi-sws.org/iris}}, key = {A}
} }
...@@ -3628,7 +3628,7 @@ year = {2013} ...@@ -3628,7 +3628,7 @@ year = {2013}
@phdthesis{krebbers:phd, @phdthesis{krebbers:phd,
author = {Robbert Krebbers}, author = {Robbert Krebbers},
title = "{The C standard formalized in Coq}", title = {The C standard formalized in Coq},
year = {2015}, year = {2015},
school = {Radboud University}, school = {Radboud University},
} }
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment