Ran Ji

Sound programm transformation based on symbolic execution and deduction.
. Darmstadt University of Technology, Germany, (2014)
  •  Doktorvater / Doktormutter:
  •  Erstgutachter_in:
  •  Gutachter_in:
  •  Betreuer_in:
  •  Autor_in: Ran Ji
  •  Herausgeber_in:
  •  Andere:
mehr

Keine Ressourcen gefunden