diff --git a/reports/report.tex b/reports/report.tex
index aa661bf..a32191c 100644
--- a/reports/report.tex
+++ b/reports/report.tex
@@ -13,7 +13,10 @@
 \newcommand{\tbh}[1]{\textsc{\textbf{#1}}}
 
 \title{Technical Report:\\
-       Exploring Automatic Model-Checking of the Ethereum specification}
+    Exploring Automatic Model-Checking of the Ethereum specification\footnote{%
+        The specifications, scripts, and experimental results can be accessed at:\\
+        \url{https://github.com/freespek/ssf-mc}
+    }}
 \author{%
     Igor Konnov\thanks{This work was supported by Ethereum Foundation
     under grant FY24--1535.}\\ \small Independent Researcher \\