Bachelorarbeit

Constrained based diagnostics and code fixes for C# using Z3, LINQ and Roslyn

Verfasser/in:
Ricardo Niepel
Betreuer/in:
Prof. Dr. Friedrich Steimann
Status:
abgeschlossen
Jahr:
2016
Download:
PDF
10.05.2024