Bachelor-Arbeit

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

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