Symbolic execution and program synthesis : a general methodology for software verification

Aachen (2019) [Doktorarbeit]

Seite(n): Online-Ressource (454 Seiten) : Illustrationen

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Ströder, Thomas

Identifikationsnummern

  • REPORT NUMBER: RWTH-2019-01779