Logik und Formale Methoden

An unserem Lehrstuhl werden keine neuen Abschlussarbeiten mehr angeboten.

Auf der Seite des Lehrstuhls "Anwendungsorientierte Formale Verifikation" von Prof. Beckert finden Sie Themen für studentische Arbeiten für verwandte Themenkomplexe.


 

Abgeschlossene Arbeiten (2012)
Titel Typ Autor Betreuer
Diplomarbeit

Timm Felden

Prof. Dr. P. H. Schmitt
Mattias Ulbrich