zum Inhalt
Lehrgebiet Programmiersysteme
Direkt zu
Moodle
Prüfungsportal
Virtueller Studienplatz
Literaturrecherche
Lehrgebiet
Aktuelles
Profil
Personen
Kontakt
Forschung
Projekte
Publikationen
Lehre
Lehrveranstaltungen
Prüfungen
Abschlussarbeiten
Lehrveranstaltungen
Prüfungen
Abschlussarbeiten
FernUni
/
Mathematik und Informatik
/
Programmiersysteme
/
Lehre
/
Abschlussarbeiten
/
Constrained based diagnostics ...
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
12.08.2021