Copy of references.bib for CompCertOE paper

CertiKOS · Nov 22, 2024 · 26fa279 · 26fa279
1 parent f5c8cb6
commit 26fa279
Show file tree

Hide file tree

Showing 2 changed files with 1,925 additions and 1 deletion.
diff --git a/compcertoe/compcertoe.tex b/compcertoe/compcertoe.tex
@@ -6731,7 +6731,7 @@ \section{Conclusion} \label{sec:conclusion} %{{{
 \end{acks}
 \end{DIFnomarkup}
 
-\bibliography{../references}
+\bibliography{references}
 
 \ifdefined\withappendix