Reliable Software and Distributed Systems

Abschlussarbeiten

Gerne betreuen wir Abschlussarbeiten im Bachelor und Master Bereich. Wenden Sie sich bei Interesse bitte direkt per E-Mail an Herrn Mues.

Wintersemester 2025/2026

Sommersemester 2025

  • Einführung in die Softwareverifikation