Master-Arbeit

Constraint-basierte Validierung und Korrektur von Spring-Programmen

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