Skip to content
Snippets Groups Projects
Verified Commit 7b3997d7 authored by Timuçin Boldt's avatar Timuçin Boldt :bike:
Browse files

correct module name

parent 9878c668
No related branches found
No related tags found
No related merge requests found
Pipeline #20245 passed
......@@ -76,7 +76,7 @@
<li>SaS (Sichere autonome Systeme)</li>
<li>SPaS (Scheduling Problems and Solutions)</li>
<li>TfCAS (Typesystems for Correctness and Security)</li>
<li>VS (Verlässliche Software)</li>
<li>VSS (Verlässliche Systemsoftware)</li>
<li>WiD (Wissensentdeckung in Datenbanken)</li>
</ul>
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment