Update keyword

gsilano · Sep 17, 2023 · 0a3f925 · 0a3f925
1 parent 9113dbd
commit 0a3f925
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/index.html b/index.html
@@ -52,7 +52,7 @@ <h2 id="contact-details">Contact details</h2>
     <span class="glyphicon glyphicon-tag" aria-hidden="true"></span> Unmanned Aerial Vehicles</span>
 
 		<span class="label label-default">
-	  <span class="glyphicon glyphicon-tag" aria-hidden="true"></span> Temporal Logic</span>
+	  <span class="glyphicon glyphicon-tag" aria-hidden="true"></span> Formal Methods</span>
 	</p>
 
   <p style="font-size:125%;">