Integrating Symbolic Execution, Debugging and Verification - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Martin Hentschel 0002. Integrating Symbolic Execution, Debugging and Verification. PhD thesis, Darmstadt University of Technology, Germany, 2016. [doi]

@phdthesis{dnb-9576,
  title = {Integrating Symbolic Execution, Debugging and Verification},
  author = {Martin Hentschel 0002},
  year = {2016},
  url = {http://d-nb.info/111226910X},
  researchr = {https://researchr.org/publication/dnb-9576},
  cites = {0},
  citedby = {0},
  school = {Darmstadt University of Technology, Germany},
}

runs on WebDSL