Masterarbeit

Constraint-basierte Validierung und Korrektur von Spring-Programmen

Verfasser/in:
Alica Moser
Betreuer/in:
Bastian Ulke
Erstgutachter/in:
Prof. Dr. Friedrich Steimann
Zweitgutachter/in:
Dr. Daniela Keller
Status:
abgeschlossen
Jahr:
2015
Download:
PDF
10.05.2024