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