copyrights

model-checking · Aug 30, 2024 · 498e6f3 · 498e6f3
1 parent e05e2c5
commit 498e6f3
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 0 deletions.
diff --git a/papers/vstte2024/llncs.cls b/papers/vstte2024/llncs.cls
@@ -1,3 +1,6 @@
+# Copyright Kani Contributors
+# SPDX-License-Identifier: Apache-2.0 OR MIT
+
 % LLNCS DOCUMENT CLASS -- version 2.24 (29-Jan-2024)
 % Springer Verlag LaTeX2e support for Lecture Notes in Computer Science
 %

diff --git a/papers/vstte2024/paper.bib b/papers/vstte2024/paper.bib
@@ -1,3 +1,6 @@
+# Copyright Kani Contributors
+# SPDX-License-Identifier: Apache-2.0 OR MIT
+
 \begin{paper}{8}
 @inproceedings{verus-sys,
   author    = {Lattuada, Andrea and Hance, Travis and Bosamiya, Jay and Brun, Matthias and Cho, Chanhee and LeBlanc, Hayley and Srinivasan, Pranav and Achermann, Reto and Chajed, Tej and Hawblitzel, Chris and Howell, Jon and Lorch, Jay and Padon, Oded and Parno, Bryan},

diff --git a/papers/vstte2024/paper.tex b/papers/vstte2024/paper.tex
@@ -1,3 +1,6 @@
+# Copyright Kani Contributors
+# SPDX-License-Identifier: Apache-2.0 OR MIT
+
 \documentclass[runningheads]{llncs}
 %
 \usepackage[T1]{fontenc}

diff --git a/papers/vstte2024/splncs04.bst b/papers/vstte2024/splncs04.bst
@@ -1,3 +1,6 @@
+# Copyright Kani Contributors
+# SPDX-License-Identifier: Apache-2.0 OR MIT
+
 %% BibTeX bibliography style `splncs04'
 %%
 %% BibTeX bibliography style for use with numbered references in