Martin Hentschel

Integrating Symbolic Execution, Debugging and Verification.
. Darmstadt University of Technology, Germany, (2016)
  •  Doctoral advisor:
  •  First reviewer:
more

No resources found