|
|
|
Kontakt |
|
Arbeitsgebiete
Bachelorarbeit "Verifizierte Berechnung von Datenabhängikeiten"
Veröffentlichungen
2013
-
Verifizierte Berechnung von Datenabhängigkeiten
November 2013 : H. Zheng
Bearbeitete Studien- und Abschlussarbeiten
- Verifizierte Berechnung von Datenabhängigkeiten (abgeschlossen), Bachelor-/Studienarbeit