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