Added link to published thesis

DavidMazarro · Sep 15, 2023 · 84f31a2 · 84f31a2
1 parent 378d33a
commit 84f31a2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -4,7 +4,7 @@
 
   <p>
     <strong>A proof-of-concept formal verification tool for WebAssembly. Based on the researched performed during
-the development of my master's thesis "<i>Specification and verification of WebAssembly programs</i>".</strong>
+the development of my master's thesis <a href="https://oa.upm.es/75802/1/TFM_DAVID_MUNUERA_MAZARRO.pdf">"<i>Specification and verification of WebAssembly programs</i>"</a>.</strong>
   </p>
 
   <p>