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.

Sommersemester 2025

  • Einführung in die Softwareverifikation